Undo last change for now.
authordrepper <drepper>
Mon, 15 Mar 1999 10:10:49 +0000 (10:10 +0000)
committerdrepper <drepper>
Mon, 15 Mar 1999 10:10:49 +0000 (10:10 +0000)
manual/libc.texinfo

index 21a864c..ee5ee05 100644 (file)
@@ -101,13 +101,13 @@ Foundation.
 @end titlepage
 @page
 
-@ifnottex
+@ifinfo
 @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 ifnottex
+@end ifinfo
 
 @include top-menu.texi
 @include chapters.texi