diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 41b9009de0..16fbdc6c7c 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1412,6 +1412,15 @@ su - postgres
+
+
+
+ Server developers should consider using the configure options
+
+