* gnat_rm.texi: Use @ifnottex instead of @ifinfo.
authorJoseph Myers <jsm28@cam.ac.uk>
Sun, 21 Apr 2002 13:59:15 +0000 (14:59 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sun, 21 Apr 2002 13:59:15 +0000 (14:59 +0100)
commitace133aa784a1e7c5a52dc2c2bb12f59ca462e35
tree3d9366eb73c12d44ead0fe9891865adc0bddec7a
parent57e27c82969cd397f3977a31e5e6d8971f258c6a
* gnat_rm.texi: Use @ifnottex instead of @ifinfo.

From-SVN: r52582
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi