From: Bruce Momjian <bruce@momjian.us>
Date: Tue, 11 Apr 2000 03:49:04 +0000 (+0000)
Subject: Update SET manual pages for pg_options.
X-Git-Tag: REL7_0~170
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=5a5a4caeda56430d7e5f5cb36f5f9f42d8c28414;p=postgresql

Update SET manual pages for pg_options.
---

diff --git a/doc/src/sgml/ref/set.sgml b/doc/src/sgml/ref/set.sgml
index ea484642aa..51156396b6 100644
--- a/doc/src/sgml/ref/set.sgml
+++ b/doc/src/sgml/ref/set.sgml
@@ -1,5 +1,5 @@
 <!--
-$Header: /cvsroot/pgsql/doc/src/sgml/ref/set.sgml,v 1.37 2000/04/08 23:12:01 momjian Exp $
+$Header: /cvsroot/pgsql/doc/src/sgml/ref/set.sgml,v 1.38 2000/04/11 03:49:04 momjian Exp $
 Postgres documentation
 -->
 
@@ -378,6 +378,15 @@ SELECT setseed(<replaceable>value</replaceable>);
     by the <command>SET</command> command:
     
     <variablelist>
+     <varlistentry>
+      <term>pg_options</term>
+      <listitem>
+       <para>
+        Sets various backend parameters.
+       </para>
+      </listitem>
+     </varlistentry>
+    
      <varlistentry>
       <term>RANDOM_PAGE_COST</term>
       <listitem>