about summary refs log tree commit diff
path: root/manual
diff options
context:
space:
mode:
Diffstat (limited to 'manual')
-rw-r--r--manual/libc.texinfo4
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