Hi Gerald,
On 10.11.22 20:24, Gerald Pfeifer wrote:
On Thu, 10 Nov 2022, Martin Liška wrote:
We noticed we'll need the old /install to be available for redirect.
Gerald, can you please put it somewhere under /install-prev, or
something similar?
I'm afraid I am confused now. Based on your original request I had removed
the original /install directoy.
I think we just need to handle more. Namely:
* Links directly to https://gcc.gnu.org/install/
this works and shows the new page.
* Sublinks - those currently fail as the name has changed:
https://gcc.gnu.org/install/configure.html (which is now
https://gcc.gnu.org/install/configuration.html )
https://gcc.gnu.org/install/build.html (now:
https://gcc.gnu.org/install/building.html )
https://gcc.gnu.org/install/specific.html#avr →
https://gcc.gnu.org/install/host-target-specific-installation-notes-for-gcc.html#avr
My impression is that it is sufficient to handle those renamings and we do not
need the old pages.
However, others might have different ideas. Note that this was discussed in the thread
"Links to web pages are broken."
Tobias
-----------------
Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634
München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas
Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht
München, HRB 106955
