diff options
| -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 0c817de5bb..84d11c3ee5 100644 --- a/manual/libc.texinfo +++ b/manual/libc.texinfo @@ -22,7 +22,7 @@ @set UPDATED 2001-07-06 @set ISBN 1-882114-55-8 -@ifinfo +@ifnottex This file documents the GNU C library. This is Edition @value{EDITION}, last updated @value{UPDATED}, @@ -49,7 +49,7 @@ Documentation License". You have freedom to copy and modify this GNU Manual, like GNU software. Copies published by the Free Software Foundation raise funds for GNU development. -@end ifinfo +@end ifnottex @iftex @shorttitlepage The GNU C Library Reference Manual |