https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
Xi Ruoyao changed:
What|Removed |Added
CC||xry111 at gcc dot gnu.org
--- Comment #6
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #5 from joseph at codesourcery dot com ---
As I mentioned in previous discussions of this idea: any implementation
should *not* involve simply editing the old generated files in place; it
needs to involve keeping an unmodified
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #4 from Jonny Grant ---
(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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #3 from Jonathan Wakely ---
We could add server rules to insert a banner into the HTML on every page, but
it's not trivial.
You might be thinking of PR 65699.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #2 from Andrew Pinski ---
Oh and the manual is not exactly out of date for that version of gcc. So the
text you have would be wrong.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #1 from Andrew Pinski ---
There is another bug about adding a version to the manual pages. Thar would be
better. Touching old generated html files is not a good solution. Plus the
version is in the url.
