diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2002-04-21 14:59:15 +0100 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2002-04-21 14:59:15 +0100 |
| commit | ace133aa784a1e7c5a52dc2c2bb12f59ca462e35 (patch) | |
| tree | 3d9366eb73c12d44ead0fe9891865adc0bddec7a | |
| parent | 57e27c82969cd397f3977a31e5e6d8971f258c6a (diff) | |
| download | gcc-ace133aa784a1e7c5a52dc2c2bb12f59ca462e35.zip gcc-ace133aa784a1e7c5a52dc2c2bb12f59ca462e35.tar.gz gcc-ace133aa784a1e7c5a52dc2c2bb12f59ca462e35.tar.bz2 | |
* gnat_rm.texi: Use @ifnottex instead of @ifinfo.
From-SVN: r52582
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3f8f801..f64dbd9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -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. diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 7d27ca9..b80f666 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -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 |