1 files changed, 0 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index 56b077d6..31117369 100644
--- a/INSTALL
+++ b/INSTALL
@@ -233,4 +233,3 @@ configuration-related scripts to be executed by `/bin/bash'.
 
 `configure' also accepts some other, not widely useful, options.  Run
 `configure --help' for more details.
-