From b60f37bf44c248189ed8e4d925cd8e45308d54f8 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Tue, 29 Nov 2011 16:31:53 -0500
Subject: [PATCH] Suggest configure options for server developers.

Greg Smith
---
 doc/src/sgml/installation.sgml | 9 +++++++++
 1 file changed, 9 insertions(+)

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
       </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">