From ee0a148a56083ed438ef2e6b312af38018643e7f Mon Sep 17 00:00:00 2001 From: Allan McRae Date: Thu, 19 Dec 2013 11:53:22 +1000 Subject: 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. --- manual/install.texi | 2 ++ 1 file changed, 2 insertions(+) (limited to 'manual/install.texi') diff --git a/manual/install.texi b/manual/install.texi index 535dc19..c0b8d9e 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{} -- cgit v1.1