diff options
Diffstat (limited to 'manual/libc.texinfo')
-rw-r--r-- | manual/libc.texinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/libc.texinfo b/manual/libc.texinfo index 684c49d7de..365cbd9fac 100644 --- a/manual/libc.texinfo +++ b/manual/libc.texinfo @@ -101,13 +101,13 @@ Foundation. @end titlepage @page -@ifinfo +@ifnottex @node Top, Introduction, (dir), (dir) @top Main Menu This is Edition @value{EDITION}, last updated @value{UPDATED}, of @cite{The GNU C Library Reference Manual}, for Version @value{VERSION} of the GNU C Library. -@end ifinfo +@end ifnottex @include top-menu.texi @include chapters.texi |