Stop partial menu generation in INSTALL file

The commit d136c6dc resulted in menu text for the "Top" node being added
to the INSTALL file on regeneration.  As the full menu is not displayed
in the plain text file anyway, suppress the menu section completely to
avoid the additional text.

Also regenerate the INSTALL file to commit a small formatting change
introduced in the same commit.

3 files changed, 11 insertions, 4 deletions

diff --git a/ChangeLog b/ChangeLog
index fbc1d153fb..9cd05ba3fb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-12-19  Allan McRae  <allan@archlinux.org>
+
+	* manual/install.texi: Suppress menu for plain text output.
+	* INSTALL: Regenerated.
+
 2013-12-18  Andrew Hunter  <ahh@google.com>
 
 	* sysdeps/generic/ldsodefs.h (__signal_safe_memalign): New prototype.
diff --git a/INSTALL b/INSTALL
index 348f948750..bfa692de6a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -6,10 +6,10 @@ Before you do anything else, you should read the FAQ at
 and describes problems you may experience with compilation and
 installation.
 
-   Features can be added to the GNU C Library via "add-on" bundles.
-These are separate tar files, which you unpack into the top level of
-the source tree.  Then you give `configure' the `--enable-add-ons'
-option to activate them, and they will be compiled into the library.
+Features can be added to the GNU C Library via "add-on" bundles.  These
+are separate tar files, which you unpack into the top level of the
+source tree.  Then you give `configure' the `--enable-add-ons' option
+to activate them, and they will be compiled into the library.
 
    You will need recent versions of several GNU tools: definitely GCC
 and GNU Make, and possibly others.  *Note Tools for Compilation::,
diff --git a/manual/install.texi b/manual/install.texi
index 535dc19147..c0b8d9e134 100644
--- a/manual/install.texi
+++ b/manual/install.texi
@@ -21,6 +21,7 @@ to activate them, and they will be compiled into the library.
 You will need recent versions of several GNU tools: definitely GCC and
 GNU Make, and possibly others.  @xref{Tools for Compilation}, below.
 
+@ifclear plain
 @menu
 * Configuring and compiling::   How to compile and test GNU libc.
 * Running make install::        How to install it once you've got it
@@ -29,6 +30,7 @@ GNU Make, and possibly others.  @xref{Tools for Compilation}, below.
 * Linux::                       Specific advice for GNU/Linux systems.
 * Reporting Bugs::              So they'll get fixed.
 @end menu
+@end ifclear
 
 @node Configuring and compiling
 @appendixsec Configuring and compiling @theglibc{}