[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
tree526be751375327ab1b3950b3c2e0d96ecf27a58e
parent6a890c589fe0d0bd6821b58d9d0432bfc6ed4cb1
[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
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
gcc/ada/gnat_ugn.texi