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 @@
@@ -378,6 +378,15 @@ SELECT setseed(value);
by the SET command:
+
+ pg_options
+
+
+ Sets various backend parameters.
+
+
+
+
RANDOM_PAGE_COST