Change installation docs to mention general debugging options.

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 76c64e5cceee22530cfd475e4a73439cae09936a..113596138eff9ba892bea5ae557148cd7be38196 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1417,8 +1417,8 @@ su - postgres
      
       Server developers should consider using the configure options 
       --enable-cassert and --enable-debug to enhance the
-      ability to detect and debug server errors.  They should also consider
-      running configure with CFLAGS="-O0 -g" if using a debugger.
+      ability to detect and debug server errors.  Your debugger might
+      also require specific compiler flags to produce useful output.