From a29bd01993b8fbf26309cdcbabdfd74b90b3df07 Mon Sep 17 00:00:00 2001
From: Gary Houston <ghouston@arglist.com>
Date: Wed, 2 May 2001 22:11:35 +0000
Subject: [PATCH] Added --disable-static.

---
 INSTALL | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index fc6516953..c87ec4f90 100644
--- a/INSTALL
+++ b/INSTALL
@@ -104,9 +104,10 @@ switches specific to Guile you may find useful in some circumstances.
 
 
 --disable-shared  ---  Do not build shared libraries.
+--disable-static  ---  Do not build static libraries.
 
-  Normally, Guile will build shared libraries if your system supports
-  them.  Guile always builds static libraries.
+  Normally, both static and shared libraries will be built if your
+  system supports them.
 
 
 --enable-debug-freelist  ---  Enable freelist debugging.