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)
commit266e6059fa8c2b3cf80a80d2599eb8de60d0e84e
tree3d9366eb73c12d44ead0fe9891865adc0bddec7a
parent3f06914cf12390615070a773547b3742c9f1c42a
* gnat_rm.texi: Use @ifnottex instead of @ifinfo.

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