diff --git a/INSTALL b/INSTALL
index 095b1eb406..eb4baba4d9 100644
--- a/INSTALL
+++ b/INSTALL
@@ -229,3 +229,4 @@ overridden in the site shell script).
 `configure' also accepts some other, not widely useful, options.  Run
 `configure --help' for more details.
 
+