diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
new file mode 100644
index 41b9009..16fbdc6
*** a/doc/src/sgml/installation.sgml
--- b/doc/src/sgml/installation.sgml
*************** su - postgres
*** 1412,1417 ****
--- 1412,1426 ----
+
+
+
+ Server developers should consider using the configure options
+
+