[gcc r12-10751] libstdc++: Fix @file for target-specific opt_random.h

[Jonathan Wakely]

https://gcc.gnu.org/g:99a3f6587cf2fa2d50890f1ee8b28c4b0a23c7bc

commit r12-10751-g99a3f6587cf2fa2d50890f1ee8b28c4b0a23c7bc
Author: Kim Gräsman <kim.grasman@gmail.com>
Date:   Tue Aug 27 17:11:29 2024 +0100

    libstdc++: Fix @file for target-specific opt_random.h
    
    A few of these files self-identified as ext/random.tcc, update to use
    the actual basename.
    
    libstdc++-v3/ChangeLog:
    
            * config/cpu/aarch64/opt/ext/opt_random.h: Improve doxygen file
            docs.
            * config/cpu/i486/opt/ext/opt_random.h: Likewise.
    
    (cherry picked from commit c2ad7b2d5247cf2ddee98d7f46274775a3fa1268)

Diff:
---
 libstdc++-v3/config/cpu/aarch64/opt/ext/opt_random.h | 2 +-
 libstdc++-v3/config/cpu/i486/opt/ext/opt_random.h    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/libstdc++-v3/config/cpu/aarch64/opt/ext/opt_random.h b/libstdc++-v3/config/cpu/aarch64/opt/ext/opt_random.h
index 1d5cf6e6f345..58c0d0347fbd 100644
--- a/libstdc++-v3/config/cpu/aarch64/opt/ext/opt_random.h
+++ b/libstdc++-v3/config/cpu/aarch64/opt/ext/opt_random.h
@@ -22,7 +22,7 @@
 // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
 // <http://www.gnu.org/licenses/>.
 
-/** @file ext/random.tcc
+/** @file ext/opt_random.h
  *  This is an internal header file, included by other library headers.
  *  Do not attempt to use it directly. @headername{ext/random}
  */
diff --git a/libstdc++-v3/config/cpu/i486/opt/ext/opt_random.h b/libstdc++-v3/config/cpu/i486/opt/ext/opt_random.h
index bf3bbcce6f74..36889427b0df 100644
--- a/libstdc++-v3/config/cpu/i486/opt/ext/opt_random.h
+++ b/libstdc++-v3/config/cpu/i486/opt/ext/opt_random.h
@@ -22,7 +22,7 @@
 // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
 // <http://www.gnu.org/licenses/>.
 
-/** @file ext/random.tcc
+/** @file ext/opt_random.h
  *  This is an internal header file, included by other library headers.
  *  Do not attempt to use it directly. @headername{ext/random}
  */