Re: old install to a different folder

[Tobias Burnus <tobias@codesourcery.com>]

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