Regenerate doc.
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 18 Nov 2015 10:51:46 +0000 (11:51 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 18 Nov 2015 10:51:46 +0000 (11:51 +0100)
commit3f8d242bd3ad399b3ce685c154780d2da9dd51b7
treed99b281ffff8b589b288ff2334e594c3fb8d2888
parent2544cbe4f2f0a497fec59491333283750fe45fb2
Regenerate doc.

From-SVN: r230539
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi