https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
Xi Ruoyao <xry111 at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |xry111 at gcc dot gnu.org
--- Comment #6 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
(In reply to Jonny Grant from comment #4)
> (In reply to Andrew Pinski from comment #2)
> > Oh and the manual is not exactly out of date for that version of gcc. So the
> > text you have would be wrong.
>
> Sorry, you're completely right. A script could search for <body> and insert
> after:
>
> <h2>Warning: This GCC manual is not the <a
> href="https://gcc.gnu.org/onlinedocs/gcc-latest-stable-redirect";>latest GCC
> release</a></h2>
It would be wrong. GCC 9.5 released after GCC 12.1, so GCC 12.1 was not the
"latest" GCC release on May 27, 2022. But we absolutely didn't want people to
look at GCC 9.5 doc instead of 12.1.
