On Fri, 11 Nov 2022, Tobias Burnus wrote: > For /onlinedocs/, I concur that we want to have the old doc there as there are > many > deep links. Still, we should consider adding a disclaimer box to all former > mainline > documentation stating that this data is no longer updated + point to the new > overview > page + we could redirect access which goes directly to '..../<module>/' and > not a (sub)html > page to the new site, as you proposed.
Note that if we do this, I think my previous comments (to keep the unmodified files somewhere long-term outside the directory served by the webserver, with an automated process for modifying headers, so that modified versions of that process can be re-run in future if we have further changes to apply to the added headers) apply to such old mainline documentation just as to release documentation. -- Joseph S. Myers jos...@codesourcery.com