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 ----
        </varlistentry>
       </variablelist>
      </para>
+ 
+     <note>
+      <para>
+       Server developers should consider using the configure options 
+       <option>--enable-cassert</> and <option>--enable-debug</> to enhance the
+       ability to detect and debug server errors.  They should also consider
+       running configure with <literal>CFLAGS="-O0 -g"</>.
+      </para>
+     </note>
     </step>
  
    <step id="build">