diff --git a/INSTALL b/INSTALL
index fbf3a78e8..cd052060d 100644
--- a/INSTALL
+++ b/INSTALL
@@ -235,4 +235,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.
-