summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>2002-09-13 19:42:50 +0000
committerRoland McGrath <roland@gnu.org>2002-09-13 19:42:50 +0000
commit0cb46d58cc450fdbe2d10b4ace65b98aafa2402c (patch)
tree371963dc25bebdb17bfcfdc7954bc69e9c3d2988 /manual
parentc96dd54cdf357306a4407eaf44033afd9f09112e (diff)
2002-09-13 Roland McGrath <roland@redhat.com>
* manual/libc.texinfo: @ifinfo -> @ifnottex around copyright notice.
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