diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
new file mode 100644
index 76c64e5..1135961
*** a/doc/src/sgml/installation.sgml
--- b/doc/src/sgml/installation.sgml
*************** su - postgres
*** 1417,1424 ****
       <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"</> if using a debugger.
       </para>
      </note>
     </step>
--- 1417,1424 ----
       <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.  Your debugger might
!       also require specific compiler flags to produce useful output.
       </para>
      </note>
     </step>