https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #4 from Jonny Grant <jg at jguk dot org> --- (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>
