projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a26ff0) | patch
[Ada] Update -fdump-ada-spec documentation
authorArnaud Charlet <charlet@adacore.com>
Tue, 9 Jul 2019 07:53:11 +0000 (07:53 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 9 Jul 2019 07:53:11 +0000 (07:53 +0000)
commit0cb51ac7fb5f28e069cc2a6094a6c0188b1aa02e
tree3afcbd51f79ccf174149cfd2de1a8236bdce48dftree
parent7a26ff040e7b1d93e364010ac44f4b4797de778ccommit | diff
[Ada] Update -fdump-ada-spec documentation

2019-07-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* doc/gnat_ugn/the_gnat_compilation_model.rst: Update doc on
-fdump-ada-spec now that we generate Ada 2012.
* gnat_ugn.texi: Regenerate.

From-SVN: r273264
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history