From 5a5a4caeda56430d7e5f5cb36f5f9f42d8c28414 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Tue, 11 Apr 2000 03:49:04 +0000
Subject: [PATCH] Update SET manual pages for pg_options.

---
 doc/src/sgml/ref/set.sgml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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>