[gcc r15-1273] ada: Fix Super attribute documentation

[Marc Poulhi?s]

https://gcc.gnu.org/g:63bf005b2f5047841730b1ba4ca0799c471f75d1

commit r15-1273-g63bf005b2f5047841730b1ba4ca0799c471f75d1
Author: Steve Baird <baird@adacore.com>
Date:   Fri Apr 19 16:08:39 2024 -0700

    ada: Fix Super attribute documentation
    
    The GNAT-defined Super attribute was formerly disallowed for an object of a
    derived tagged type having an abstract parent type. This rule has been relaxed;
    an abstract parent type is now permitted as long as it is not an interface type.
    Update the GNAT RM accordingly.
    
    gcc/ada/
    
            * doc/gnat_rm/implementation_defined_attributes.rst:
            Update Super attribute documentation.
            * gnat_rm.texi: Regenerate.
            * gnat_ugn.texi: Regenerate.

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

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
index 728d63a8e924..877d043f42e6 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -1239,7 +1239,7 @@ The ``Super`` attribute can be applied to objects of tagged types in order
 to obtain a view conversion to the most immediate specific parent type.
 
 It cannot be applied to objects of types without any ancestors, or types whose
-immediate parent is abstract.
+immediate parent is an interface type.
 
 .. code-block:: ada
 
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 1e6fb0936725..e8fa3079e472 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -11712,7 +11712,7 @@ The @code{Super} attribute can be applied to objects of tagged types in order
 to obtain a view conversion to the most immediate specific parent type.
 
 It cannot be applied to objects of types without any ancestors, or types whose
-immediate parent is abstract.
+immediate parent is an interface type.
 
 @example
 type T1 is tagged null record;
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 73f496fcdabc..04e181bcb243 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29645,8 +29645,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 @anchor{d1}@w{                              }
+@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 
 @c %**end of body
 @bye