From: Joseph Myers Date: Sat, 1 Jun 2002 11:17:19 +0000 (+0100) Subject: gnat_ug.texi: Use @ifnottex instead of @ifinfo. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=113dc14387308310e28710562f69f1bd624a7aaf;p=gcc.git gnat_ug.texi: Use @ifnottex instead of @ifinfo. * gnat_ug.texi: Use @ifnottex instead of @ifinfo. * gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi, gnat_ug_wnt.texi: Regenerate. From-SVN: r54144 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9bdbc0ede5f..b4b6161fbe3 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2002-06-01 Joseph S. Myers + + * gnat_ug.texi: Use @ifnottex instead of @ifinfo. + * gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi, + gnat_ug_wnt.texi: Regenerate. + 2002-05-31 Florian Weimer * 5ntaprop.adb (with System.OS_Primitives): Remove. diff --git a/gcc/ada/gnat_ug.texi b/gcc/ada/gnat_ug.texi index 5c89d2e7c8c..fa370e18a2b 100644 --- a/gcc/ada/gnat_ug.texi +++ b/gcc/ada/gnat_ug.texi @@ -135,7 +135,7 @@ Free Documentation License''. @end titlepage -@ifinfo +@ifnottex @node Top, About This Guide, (dir), (dir) @top GNAT User's Guide @@ -624,7 +624,7 @@ Performance Considerations * Index:: @end menu -@end ifinfo +@end ifnottex @node About This Guide @unnumbered About This Guide diff --git a/gcc/ada/gnat_ug_unx.texi b/gcc/ada/gnat_ug_unx.texi index 81fa2960a8e..efe12a3141f 100644 --- a/gcc/ada/gnat_ug_unx.texi +++ b/gcc/ada/gnat_ug_unx.texi @@ -96,7 +96,7 @@ Free Documentation License''. @end titlepage -@ifinfo +@ifnottex @node Top, About This Guide, (dir), (dir) @top GNAT User's Guide @@ -423,7 +423,7 @@ Performance Considerations * Index:: @end menu -@end ifinfo +@end ifnottex @node About This Guide @unnumbered About This Guide diff --git a/gcc/ada/gnat_ug_vms.texi b/gcc/ada/gnat_ug_vms.texi index c55d4406e0f..4fbf8b8ef94 100644 --- a/gcc/ada/gnat_ug_vms.texi +++ b/gcc/ada/gnat_ug_vms.texi @@ -96,7 +96,7 @@ Free Documentation License''. @end titlepage -@ifinfo +@ifnottex @node Top, About This Guide, (dir), (dir) @top GNAT User's Guide @@ -458,7 +458,7 @@ Performance Considerations * Index:: @end menu -@end ifinfo +@end ifnottex @node About This Guide @unnumbered About This Guide diff --git a/gcc/ada/gnat_ug_vxw.texi b/gcc/ada/gnat_ug_vxw.texi index d2f316bacea..7e5f7795abe 100644 --- a/gcc/ada/gnat_ug_vxw.texi +++ b/gcc/ada/gnat_ug_vxw.texi @@ -96,7 +96,7 @@ Free Documentation License''. @end titlepage -@ifinfo +@ifnottex @node Top, About This Guide, (dir), (dir) @top GNAT User's Guide @@ -437,7 +437,7 @@ Performance Considerations * Index:: @end menu -@end ifinfo +@end ifnottex @node About This Guide @unnumbered About This Guide diff --git a/gcc/ada/gnat_ug_wnt.texi b/gcc/ada/gnat_ug_wnt.texi index 7f29e67e0f5..fb01be35591 100644 --- a/gcc/ada/gnat_ug_wnt.texi +++ b/gcc/ada/gnat_ug_wnt.texi @@ -96,7 +96,7 @@ Free Documentation License''. @end titlepage -@ifinfo +@ifnottex @node Top, About This Guide, (dir), (dir) @top GNAT User's Guide @@ -437,7 +437,7 @@ Performance Considerations * Index:: @end menu -@end ifinfo +@end ifnottex @node About This Guide @unnumbered About This Guide