OSDN Git Service

* gnat_ug.texi: Use @ifnottex instead of @ifinfo.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 1 Jun 2002 11:17:19 +0000 (11:17 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 1 Jun 2002 11:17:19 +0000 (11:17 +0000)
* gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
gnat_ug_wnt.texi: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@54144 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/ChangeLog
gcc/ada/gnat_ug.texi
gcc/ada/gnat_ug_unx.texi
gcc/ada/gnat_ug_vms.texi
gcc/ada/gnat_ug_vxw.texi
gcc/ada/gnat_ug_wnt.texi

index 9bdbc0e..b4b6161 100644 (file)
@@ -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.
index 5c89d2e..fa370e1 100644 (file)
@@ -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
index 81fa296..efe12a3 100644 (file)
@@ -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
index c55d440..4fbf8b8 100644 (file)
@@ -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
index d2f316b..7e5f779 100644 (file)
@@ -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
index 7f29e67..fb01be3 100644 (file)
@@ -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