projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a890c5) | patch
[Ada] Update user manual for the -D binder switch
authorPatrick Bernardi <bernardi@adacore.com>
Mon, 28 May 2018 08:53:49 +0000 (08:53 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 28 May 2018 08:53:49 +0000 (08:53 +0000)
commitf5a9ad2577ddea7a5646040b1d301515d834a8d1
tree526be751375327ab1b3950b3c2e0d96ecf27a58etree
parent6a890c589fe0d0bd6821b58d9d0432bfc6ed4cb1commit | diff
[Ada] Update user manual for the -D binder switch

2018-05-28  Patrick Bernardi  <bernardi@adacore.com>

gcc/ada/

* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update the
description of the -D binder switch to reflect current usage.
* gnat_ugn.texi: Regenerate.

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