[gcc r13-293] [Ada] Fix markup in description of pragma Eliminate

[Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>]

https://gcc.gnu.org/g:351278f9aafbeebc0643bd8be9ba8cfdb8a20d56

commit r13-293-g351278f9aafbeebc0643bd8be9ba8cfdb8a20d56
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Fri Jan 28 14:16:09 2022 +0100

    [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:
---
 .../doc/gnat_rm/implementation_defined_pragmas.rst | 38 ++++++++++------------
 gcc/ada/gnat_rm.texi                               | 15 ++++++---
 2 files changed, 28 insertions(+), 25 deletions(-)

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index bf213cb36be..8d753f70c2b 100644
--- 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 02336bda24d..2c9cfc05512 100644
--- 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