In docs, suggest "-O0 -g" only if using a debugger.

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 16fbdc6c7c6d92817a43680dc9dc9639333e9f21..76c64e5cceee22530cfd475e4a73439cae09936a 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1418,7 +1418,7 @@ su - postgres
       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"</>.
+      running configure with <literal>CFLAGS="-O0 -g"</> if using a debugger.
      </para>
     </note>
    </step>