]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c66e69f) | patch
[Ada] Improve documentation of validation checking control switches
authorSteve Baird <baird@adacore.com>
Wed, 17 Aug 2022 17:13:55 +0000 (10:13 -0700)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 6 Sep 2022 07:14:22 +0000 (09:14 +0200)
commit2aef4695708f807f44ff531f0c489907f92e05ad
tree6e3244e6afd3561abcd9505b29d424b9430cfd51tree
parentc66e69f33744e897c64a16e78ba893d1ea439139commit | diff
[Ada] Improve documentation of validation checking control switches

Correct incorrect text and clarify unclear text that has been identified
in the "Validity Checking" section of the GNAT UG.

gcc/ada/

* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Improve -gnatVa, -gnatVc, -gnatVd, -gnatVe, -gnatVf, -gnatVo,
-gnatVp, -gnatVr, and -gnatVs switch descriptions.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git