projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9104d20) | patch
[Ada] Update gnatelim documentation wrt. compilation of main unit
authorSergey Rybin <rybin@adacore.com>
Thu, 31 May 2018 10:46:12 +0000 (10:46 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 31 May 2018 10:46:12 +0000 (10:46 +0000)
commit81a95941f966dd1c0e4e2d368e0d7441f0776482
tree90d87c7708c573af08f551abc18febaa5f1ef19dtree
parent9104d201d56b2bbd9db93afc09617f88a0cd0f2bcommit | diff
[Ada] Update gnatelim documentation wrt. compilation of main unit

2018-05-31  Sergey Rybin  <rybin@adacore.com>

gcc/ada/

* doc/gnat_ugn/gnat_and_program_execution.rst: gnatelim does not need
that the main unit to be built before the call, now it computes the
closure of the main unit itself.
* gnat_ugn.texi: Regenerate.

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