[gcc r12-5660] [Ada] Document System.Atomic_Counters as supported on ARM and AARCH64

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

https://gcc.gnu.org/g:6054bc84f0f6ff064c3dfc4a7e6080ffd1fdbe56

commit r12-5660-g6054bc84f0f6ff064c3dfc4a7e6080ffd1fdbe56
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Nov 8 12:46:42 2021 +0100

    [Ada] Document System.Atomic_Counters as supported on ARM and AARCH64
    
    gcc/ada/
    
            * doc/gnat_rm/the_gnat_library.rst (System.Atomic_Counters):
            Sync description with comment in s-atocou.ads.
            * gnat-style.texi, gnat_rm.texi, gnat_ugn.texi: Regenerate.

Diff:
---
 gcc/ada/doc/gnat_rm/the_gnat_library.rst | 2 +-
 gcc/ada/gnat-style.texi                  | 4 ++--
 gcc/ada/gnat_rm.texi                     | 8 ++++----
 gcc/ada/gnat_ugn.texi                    | 6 +++---
 4 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/gcc/ada/doc/gnat_rm/the_gnat_library.rst b/gcc/ada/doc/gnat_rm/the_gnat_library.rst
index d70e71c8337..de1c83ec25e 100644
--- a/gcc/ada/doc/gnat_rm/the_gnat_library.rst
+++ b/gcc/ada/doc/gnat_rm/the_gnat_library.rst
@@ -2163,7 +2163,7 @@ This package provides the declaration of an atomic counter type,
 together with efficient routines (using hardware
 synchronization primitives) for incrementing, decrementing,
 and testing of these counters. This package is implemented
-on most targets, including all Alpha, ia64, PowerPC, SPARC V9,
+on most targets, including all Alpha, AARCH64, ARM, ia64, PowerPC, SPARC V9,
 x86, and x86_64 platforms.
 
 .. _`System.Memory_(s-memory.ads)`:
diff --git a/gcc/ada/gnat-style.texi b/gcc/ada/gnat-style.texi
index 37ce6909d23..a7d666c0b77 100644
--- a/gcc/ada/gnat-style.texi
+++ b/gcc/ada/gnat-style.texi
@@ -3,7 +3,7 @@
 @setfilename gnat-style.info
 @documentencoding UTF-8
 @ifinfo
-@*Generated by Sphinx 4.0.2.@*
+@*Generated by Sphinx 4.3.0.@*
 @end ifinfo
 @settitle GNAT Coding Style A Guide for GNAT Developers
 @defindex ge
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT Coding Style: A Guide for GNAT Developers , Jun 23, 2021
+GNAT Coding Style: A Guide for GNAT Developers , Nov 30, 2021
 
 AdaCore
 
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index a8232f2361f..547d5b9e208 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -3,7 +3,7 @@
 @setfilename gnat_rm.info
 @documentencoding UTF-8
 @ifinfo
-@*Generated by Sphinx 4.0.2.@*
+@*Generated by Sphinx 4.3.0.@*
 @end ifinfo
 @settitle GNAT Reference Manual
 @defindex ge
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT Reference Manual , Nov 08, 2021
+GNAT Reference Manual , Nov 30, 2021
 
 AdaCore
 
@@ -5400,7 +5400,7 @@ Machine-dependent attributes can be specified for types and/or
 declarations.  This pragma is semantically equivalent to
 @code{__attribute__((@emph{attribute_name}))} (if @code{info} is not
 specified) or @code{__attribute__((@emph{attribute_name(info})))}
-or @code{__attribute__((@emph{attribute_name(info,…})))} in GNU C,
+or @code{__attribute__((@emph{attribute_name(info,...})))} in GNU C,
 where @emph{attribute_name} is recognized by the compiler middle-end
 or the @code{TARGET_ATTRIBUTE_TABLE} machine specific macro.  Note
 that a string literal for the optional parameter @code{info} or the
@@ -25444,7 +25444,7 @@ This package provides the declaration of an atomic counter type,
 together with efficient routines (using hardware
 synchronization primitives) for incrementing, decrementing,
 and testing of these counters. This package is implemented
-on most targets, including all Alpha, ia64, PowerPC, SPARC V9,
+on most targets, including all Alpha, AARCH64, ARM, ia64, PowerPC, SPARC V9,
 x86, and x86_64 platforms.
 
 @node System Memory s-memory ads,System Multiprocessors s-multip ads,System Atomic_Counters s-atocou ads,The GNAT Library
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 00195e87d87..22b679522aa 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -3,7 +3,7 @@
 @setfilename gnat_ugn.info
 @documentencoding UTF-8
 @ifinfo
-@*Generated by Sphinx 4.0.2.@*
+@*Generated by Sphinx 4.3.0.@*
 @end ifinfo
 @settitle GNAT User's Guide for Native Platforms
 @defindex ge
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT User's Guide for Native Platforms , Nov 08, 2021
+GNAT User's Guide for Native Platforms , Nov 30, 2021
 
 AdaCore
 
@@ -725,7 +725,7 @@ comprising the @code{$} character followed by a space.
 Full file names are shown with the ‘/’ character
 as the directory separator; e.g., @code{parent-dir/subdir/myfile.adb}.
 If you are using GNAT on a Windows platform, please note that
-the ‘' character should be used instead.
+the ‘\’ character should be used instead.
 @end itemize
 
 @node Getting Started with GNAT,The GNAT Compilation Model,About This Guide,Top