doc: Put PL/pgSQL RAISE USING keywords into a list

Karl O. Pinc

diff --git a/doc/src/sgml/plpgsql.sgml b/doc/src/sgml/plpgsql.sgml
index b33c41e02ab4fb3e5ab12f45e95b61d7526c0a31..95cf4b6b467aa96fe8d09ed6816be984d0ad3eb6 100644 (file)
--- a/doc/src/sgml/plpgsql.sgml
+++ b/doc/src/sgml/plpgsql.sgml
@@ -3288,20 +3288,44 @@ RAISE NOTICE 'Calling cs_create_job(%)', v_job_id;
     You can attach additional information to the error report by writing
     USING followed by 
     class="parameter">option = 
-    class="parameter">expression items.  The allowed
-    option keywords are
-    MESSAGE, DETAIL, HINT, and
-    ERRCODE, while each 
-    class="parameter">expression can be any string-valued
-    expression.
-    MESSAGE sets the error message text (this option can't
-    be used in the form of RAISE that includes a format
-    string before USING).
-    DETAIL supplies an error detail message, while
-    HINT supplies a hint message.
-    ERRCODE specifies the error code (SQLSTATE) to report,
-    either by condition name as shown in ,
-    or directly as a five-character SQLSTATE code.
+    class="parameter">expression items.  Each
+    expression can be any
+    string-valued expression.  The allowed 
+    class="parameter">option key words are:
+
+    
+     
+      MESSAGE
+      
+       Sets the error message text.  This option can't be used in the
+        form of RAISE that includes a format string
+        before USING.
+      
+     
+
+     
+      DETAIL
+      
+       Supplies an error detail message.
+      
+     
+
+     
+      HINT
+      
+       Supplies a hint message.
+      
+     
+
+     
+      ERRCODE
+      
+       Specifies the error code (SQLSTATE) to report, either by condition
+        name, as shown in , or directly as a
+        five-character SQLSTATE code.
+      
+     
+    
    
 
    




This is the main PostgreSQL git repository.
RSS
Atom



window.onload = function () {
	var tz_cookie = { name: 'gitweb_tz', expires: 14, path: '/' };
	onloadTZSetup('local', tz_cookie, 'datetime');
};