diff options
Diffstat (limited to 'manual/install.texi')
| -rw-r--r-- | manual/install.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manual/install.texi b/manual/install.texi index aaf27c9..535dc19 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -1,10 +1,10 @@ -@c This is for making the `INSTALL' file for the distribution. -@c Makeinfo ignores it when processing the file from the include. -@setfilename INSTALL @include macros.texi @include pkgvers.texi +@ifclear plain @node Installation, Maintenance, Library Summary, Top +@end ifclear + @c %MENU% How to install the GNU C Library @appendix Installing @theglibc{} |