]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4980b61) | patch
ada: Fix documentation on Junk names
authorMarc Poulhiès <poulhies@adacore.com>
Thu, 23 Oct 2025 13:32:15 +0000 (15:32 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 13 Nov 2025 15:26:58 +0000 (16:26 +0100)
commit97fe637c036622b4dd699af71c84902038c4794d
tree2ee68e1b265d90c7b4acf1da094bb4ca6639b6bftree
parent4980b619fc2ce7f0acfc72a44f6af39cf922ffc0commit | diff
ada: Fix documentation on Junk names

After the last change on the list of junk names, the documentation was
not modified.

gcc/ada/ChangeLog:

* doc/gnat_rm/implementation_defined_pragmas.rst: Update
the list of junk names.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Likewise.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | blame | history
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git