[Ada] Fix markup in description of pragma Eliminate

Fix formatting of a nested bullet lists. Spotted while adding
description of pragma Ada_2022.

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst (Pragma
	Eliminate): Fix markup.
	* gnat_rm.texi: Regenerate.

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index bf213cb..8d753f7 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -1765,27 +1765,23 @@ The pragma has the following semantics, where ``U`` is the unit specified by
 the ``Unit_Name`` argument and ``E`` is the entity specified by the ``Entity``
 argument:
 
-*  ``E`` must be a subprogram that is explicitly declared either:
-
-   o  Within ``U``, or
-
-   o  Within a generic package that is instantiated in ``U``, or
-
-   o  As an instance of generic subprogram instantiated in ``U``.
-
-   Otherwise the pragma is ignored.
-
-*  If ``E`` is overloaded within ``U`` then, in the absence of a
-   ``Source_Location`` argument, all overloadings are eliminated.
-
-*  If ``E`` is overloaded within ``U`` and only some overloadings
-   are to be eliminated, then each overloading to be eliminated
-   must be specified in a corresponding pragma ``Eliminate``
-   with a ``Source_Location`` argument identifying the line where the
-   declaration appears, as described below.
-
-*  If ``E`` is declared as the result of a generic instantiation, then
-   a ``Source_Location`` argument is needed, as described below
+* ``E`` must be a subprogram that is explicitly declared either:
+
+  * Within ``U``, or
+  * Within a generic package that is instantiated in ``U``, or
+  * As an instance of generic subprogram instantiated in ``U``.
+
+  Otherwise the pragma is ignored.
+
+* If ``E`` is overloaded within ``U`` then, in the absence of a
+  ``Source_Location`` argument, all overloadings are eliminated.
+* If ``E`` is overloaded within ``U`` and only some overloadings
+  are to be eliminated, then each overloading to be eliminated
+  must be specified in a corresponding pragma ``Eliminate``
+  with a ``Source_Location`` argument identifying the line where the
+  declaration appears, as described below.
+* If ``E`` is declared as the result of a generic instantiation, then
+  a ``Source_Location`` argument is needed, as described below.
 
 Pragma ``Eliminate`` allows a program to be compiled in a system-independent
 manner, so that unused entities are eliminated but without

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 02336bd..2c9cfc0 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -3185,11 +3185,18 @@ argument:
 @item 
 @code{E} must be a subprogram that is explicitly declared either:
 
-o  Within @code{U}, or
 
-o  Within a generic package that is instantiated in @code{U}, or
+@itemize *
+
+@item 
+Within @code{U}, or
 
-o  As an instance of generic subprogram instantiated in @code{U}.
+@item 
+Within a generic package that is instantiated in @code{U}, or
+
+@item 
+As an instance of generic subprogram instantiated in @code{U}.
+@end itemize
 
 Otherwise the pragma is ignored.
 
@@ -3206,7 +3213,7 @@ declaration appears, as described below.
 
 @item 
 If @code{E} is declared as the result of a generic instantiation, then
-a @code{Source_Location} argument is needed, as described below
+a @code{Source_Location} argument is needed, as described below.
 @end itemize
 
 Pragma @code{Eliminate} allows a program to be compiled in a system-independent