gnat_rm.texi, [...]: Update documentation.
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 12 Nov 2015 11:03:35 +0000 (12:03 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 12 Nov 2015 11:03:35 +0000 (12:03 +0100)
commit637535d736f4d09948b1d86495487c617cfc98f7
treea8feac61709554ffe5313c22f6af1d7351740a1a
parent53044824a6981458f9d5a4ca52df4b6e6854706a
gnat_rm.texi, [...]: Update documentation.

        * gnat_rm.texi, gnat_ugn.texi,
        doc/gnat_ugn/platform_specific_information.rst,
        doc/gnat_ugn/gnat_and_program_execution.rst,
        doc/gnat_ugn/the_gnat_compilation_model.rst,
        doc/gnat_rm/standard_and_implementation_defined_restrictions.rst,
        doc/gnat_rm/implementation_defined_pragmas.rst: Update documentation.

From-SVN: r230232
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst
gcc/ada/doc/gnat_ugn/platform_specific_information.rst
gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi