diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/install.texi | 2 |
1 files changed, 2 insertions, 0 deletions
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{} |