diff --git a/INSTALL b/INSTALL
index f9484df226d3745d06ac817fb26e73599ffafe7e..de62622fec8644a5dc3b02a1ad4cad50ebd751b7 100644
--- a/INSTALL
+++ b/INSTALL
@@ -115,6 +115,10 @@ To install PostgreSQL on UNIX platforms:
 
      --disable-locale	Disables USE_LOCALE
 			
+     --enable-cassert	Enables ASSERT_CHECKING (default)
+
+     --disable-cassert	Disables ASSERT_CHECKING
+			
      --with-template=TEMPLATE
 			Use template file TEMPLATE - the template files are
 			assumed to be in the directory src/template, so look