OSDN Git Service

* gnat_rm.texi: Use @ifnottex instead of @ifinfo.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 21 Apr 2002 13:59:15 +0000 (13:59 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 21 Apr 2002 13:59:15 +0000 (13:59 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@52582 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi

index 3f8f801..f64dbd9 100644 (file)
@@ -1,3 +1,7 @@
+2002-04-21  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * gnat_rm.texi: Use @ifnottex instead of @ifinfo.
+
 2002-04-21  Florian Weimer  <fw@deneb.enyo.de>
 
         * gnat_ug.texi: New file.
index 7d27ca9..b80f666 100644 (file)
@@ -8,7 +8,7 @@
 @c                                                                            o
 @c                              G N A T _ RM                                  o
 @c                                                                            o
-@c                            $Revision: 1.5 $
+@c                            $Revision: 1.6 $
 @c                                                                            o
 @c              Copyright (C) 1995-2002 Free Software Foundation              o
 @c                                                                            o
@@ -55,7 +55,7 @@ Free Documentation License''.
 
 
 @end titlepage
-@ifinfo
+@ifnottex
 @node Top, About This Guide, (dir), (dir)
 @top GNAT Reference Manual
 
@@ -229,7 +229,7 @@ GNAT Implementation of Tasking
 * Ensuring Compliance with the Real-Time Annex::
 @end menu
 
-@end ifinfo
+@end ifnottex
 
 @node About This Guide
 @unnumbered About This Guide