[Ada] Fix documentation of -gnatVa switch
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 11 May 2020 21:48:34 +0000 (23:48 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:55 +0000 (05:26 -0400)
commit31c1fdbe0d12299eae196a4653952ab63ac23621
treecfc37507bdaa849fcb6fda91a29e499325a54935
parentd4175ef48ba562f6fb8098b6fa000f3d77e11e1b
[Ada] Fix documentation of -gnatVa switch

gcc/ada/

* doc/gnat_ugn/building_executable_programs_with_gnat.rst
(Validity Checking): Add "p" to the list of switches enabled by
-gnatVa.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
gcc/ada/gnat_ugn.texi