Update SET manual pages for pg_options.

diff --git a/doc/src/sgml/ref/set.sgml b/doc/src/sgml/ref/set.sgml
index ea484642aa04bccca1108ddf858ef063195e43e0..51156396b6cec7a6d10c917873d1ac688a2de913 100644 (file)
--- a/doc/src/sgml/ref/set.sgml
+++ b/doc/src/sgml/ref/set.sgml
@@ -1,5 +1,5 @@
 
 
@@ -378,6 +378,15 @@ SELECT setseed(value);
     by the SET command:
     
     
+     
+      pg_options
+      
+       
+        Sets various backend parameters.
+       
+      
+     
+    
      
       RANDOM_PAGE_COST