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.

diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
index 4cb1560ae9c8ed52d9543983b8f71ce1b2e77298..088d289f35fed6df735a3c7b7b95ec881f54de68 100644 (file)
--- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
+++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
@@ -1570,11 +1570,7 @@ Example:
 
 ``External_Initialization`` aspect accepts the following parameters:
 
-- mandatory ``Path``: the path the compiler uses to access the binary resource;
-- optional ``Maximum_Size``: the maximum number of bytes the compiler reads from
-  the resource;
-- optional ``If_Empty``: an expression used in place of read data in case
-  the resource is empty;
+- mandatory ``Path``: the path the compiler uses to access the binary resource.
 
 ``Path`` is resolved according to the same rules the compiler uses for loading the source files.
 

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 96b13e51c0787fdefeee45658d64784d202f2d1e..4bcdcf6781d4803bfd5236f86dc20a2746f8104c 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -30786,15 +30786,7 @@ end P;
 @itemize -
 
 @item 
-mandatory @code{Path}: the path the compiler uses to access the binary resource;
-
-@item 
-optional @code{Maximum_Size}: the maximum number of bytes the compiler reads from
-the resource;
-
-@item 
-optional @code{If_Empty}: an expression used in place of read data in case
-the resource is empty;
+mandatory @code{Path}: the path the compiler uses to access the binary resource.
 @end itemize
 
 @code{Path} is resolved according to the same rules the compiler uses for loading the source files.

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index be1958da076faf6a88b3caea9b7a790029f98ca3..6e8e0b5dc36470fb7616eefc4e7a347e18a42eb3 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29695,8 +29695,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{d1}@w{                              }
 @anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
+@anchor{d1}@w{                              }
 
 @c %**end of body
 @bye