]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f185ac2) | patch
ada: Make minor improvements to user's guide
authorRonan Desplanques <desplanques@adacore.com>
Mon, 22 May 2023 12:39:19 +0000 (14:39 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 15 Jun 2023 07:59:38 +0000 (09:59 +0200)
commitcc681c83f04fedfad02744c7194a042715a2ec80
treebdf392f9b8025962c7ebc74892f4008acf1c3f56tree | snapshot
parentf185ac2efd79c903e7461e91bceb81f3278aec2ecommit | diff
ada: Make minor improvements to user's guide

gcc/ada/

* doc/gnat_ugn/about_this_guide.rst: Fix typo. Uniformize punctuation.
* doc/gnat_ugn/the_gnat_compilation_model.rst: Uniformize punctuation.
Fix capitalization. Fix indentation of code block. Fix RST formatting
syntax errors.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_ugn/about_this_guide.rst diff | blob | blame | history
gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git