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 9bdbc0ede5f45cc10a5a3a2865e460049f82da02..b4b6161fbe362fe05fef27a57f798e715195d3ac 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2002-06-01  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * 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  <fw@deneb.enyo.de>
 
        * 5ntaprop.adb (with System.OS_Primitives): Remove.

diff --git a/gcc/ada/gnat_ug.texi b/gcc/ada/gnat_ug.texi
index 5c89d2e7c8cfc8cbca129bf0816913656320d303..fa370e18a2b4611db16fe1378f50bb56b3ee8d5e 100644 (file)
--- 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 81fa2960a8e8c3e61736b17dad8052b43ab71c19..efe12a3141fbf06fa42c5af16c451961fad762c2 100644 (file)
--- 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 c55d4406e0fcc97900bf92beeafc8d50e001eebc..4fbf8b8ef945149afa07040203f57ef1ca40c44e 100644 (file)
--- 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 d2f316bacea4a0ddec3ec81b9cffd5776e1145cc..7e5f7795abe98e57ad334c1fde16c3c84c9eb53c 100644 (file)
--- 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 7f29e67e0f5daa996f47205b206f2d5a22f390d3..fb01be35591cdfac44242d4f25b541816bbd22e3 100644 (file)
--- 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