* gnat_rm.texi: Clean up for makeinfo 5.2.
commitd2fd41a54ca4fda9a6d39eddb56284f5ca9871ca
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 19 Jul 2014 11:04:39 +0000 (19 11:04 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 19 Jul 2014 11:04:39 +0000 (19 11:04 +0000)
treea47df6abe08ca8cb7a005a2e163a1dc5a1a221f8
parentc63c90cb771353d4d1c98564647c777a906f53d6
* gnat_rm.texi: Clean up for makeinfo 5.2.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212845 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi