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