]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb0f66e) | patch
ada: Adjust documentation of External_Initialization
authorRonan Desplanques <desplanques@adacore.com>
Mon, 23 Sep 2024 08:36:29 +0000 (10:36 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 25 Oct 2024 09:09:01 +0000 (11:09 +0200)
commitf4e8bdb86b7953ea7931b8e01725464b2c1be6ad
tree9c7be1197ea5ec43db2ea1d89b177ec22c9f92actree
parentcb0f66e02559fd57fb31f7befbaf5967792722e8commit | diff
ada: Adjust documentation of External_Initialization

The parameters Maximum_Size and If_Empty were mentioned during the
request for comments phase but are not implemented, at least for now.
This patch changes the GNAT reference manual accordingly. It also makes
a minor punctuation change.

gcc/ada/ChangeLog:

* doc/gnat_rm/gnat_language_extensions.rst: Adjust documentation.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_rm/gnat_language_extensions.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