[gcc r13-237] [Ada] Fix a couple of typos

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

https://gcc.gnu.org/g:850bf074c5fd27abf154c704ff51bf89f1e9d56c

commit r13-237-g850bf074c5fd27abf154c704ff51bf89f1e9d56c
Author: Kévin Le Gouguec <legouguec@adacore.com>
Date:   Tue Jan 25 16:18:21 2022 +0100

    [Ada] Fix a couple of typos
    
    gcc/ada/
    
            * doc/gnat_rm/implementation_defined_attributes.rst,
            doc/gnat_ugn/the_gnat_compilation_model.rst: Fix typos.
            * gnat_rm.texi, gnat_ugn.texi: Regenerate.

Diff:
---
 gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst | 2 +-
 gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst       | 4 ++--
 gcc/ada/gnat_rm.texi                                      | 2 +-
 gcc/ada/gnat_ugn.texi                                     | 7 +++----
 4 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
index 665170c4c7e..dc5a1ab40a1 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -1043,7 +1043,7 @@ are relaxed. Instead, the following rules apply:
 * the enclosing machine scalar is defined as the smallest machine
   scalar starting at a position no greater than
   ``position + first_bit / storage_element_size`` and covering
-  storage elements at least up to ``position + (last_bit + storage_element_size - 1) / storage_element_size```
+  storage elements at least up to ``position + (last_bit + storage_element_size - 1) / storage_element_size``
 * the position of the component is interpreted relative to that machine
   scalar.
 
diff --git a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
index 4a3b84d754d..e234a95e828 100644
--- a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
+++ b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst
@@ -4556,8 +4556,8 @@ can use instead the :switch:`-fdump-ada-spec-slim` switch.
 You can optionally specify a parent unit, of which all generated units will
 be children, using :switch:`-fada-spec-parent={unit}`.
 
-The simple ``gcc```-based command works only for C headers. For C++ headers
-you need to use either the ``g++`` command or the combination ``gcc -x c++```.
+The simple ``gcc``-based command works only for C headers. For C++ headers
+you need to use either the ``g++`` command or the combination ``gcc -x c++``.
 
 In some cases, the generated bindings will be more complete or more meaningful
 when defining some macros, which you can do via the :switch:`-D` switch. This
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 495c13db044..814b4d34cef 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -11458,7 +11458,7 @@ a size no greater than the largest machine scalar
 the enclosing machine scalar is defined as the smallest machine
 scalar starting at a position no greater than
 @code{position + first_bit / storage_element_size} and covering
-storage elements at least up to @code{position + (last_bit + storage_element_size - 1) / storage_element_size`}
+storage elements at least up to @code{position + (last_bit + storage_element_size - 1) / storage_element_size}
 
 @item 
 the position of the component is interpreted relative to that machine
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index b9e57c29a1b..ed59e4a6e59 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT User's Guide for Native Platforms , Jan 03, 2022
+GNAT User's Guide for Native Platforms , Apr 22, 2022
 
 AdaCore
 
@@ -6462,8 +6462,8 @@ can use instead the @code{-fdump-ada-spec-slim} switch.
 You can optionally specify a parent unit, of which all generated units will
 be children, using @code{-fada-spec-parent=@emph{unit}}.
 
-The simple @code{gcc`}-based command works only for C headers. For C++ headers
-you need to use either the @code{g++} command or the combination @code{gcc -x c++`}.
+The simple @code{gcc}-based command works only for C headers. For C++ headers
+you need to use either the @code{g++} command or the combination @code{gcc -x c++}.
 
 In some cases, the generated bindings will be more complete or more meaningful
 when defining some macros, which you can do via the @code{-D} switch. This
@@ -17890,7 +17890,6 @@ instr.ads
 
 
 
-
 @c -- Example: A |withing| unit has a |with| clause, it |withs| a |withed| unit
 
 @node GNAT and Program Execution,Platform-Specific Information,GNAT Utility Programs,Top