Re: old install to a different folder

["Martin Liška" <mliska@suse.cz>]

On 11/14/22 02:21, Gerald Pfeifer wrote:
> On Sun, 13 Nov 2022, Martin Liška wrote:
>> So Gerald, I'm suggesting a new url base gcc.gnu.org/docs that will be 
>> filled with the new manuals and gcc.gnu.org/onlinedocs/$man and 
>> gcc.gnu.org/install locations should point to older (trunk) manuals 
>> (prev folder at server I guess). Having that, the new manuals will not 
>> available through navigation and will get some time for further changes.
> 
> I feel I may be missing something.
> 
> Why don't we
> 
>  (1a) keep /onlinedocs for all docs < GCC 13,
>  (1b) possibly introduce /docs as an alternative URL (though we need
>       to keep /onlinedocs for all the existing ones),
> 
>   (2) add sphinx docs for trunk, GCC 13 and later to /docs (and at the
>       same time /onlinedocs which is just an alias)
> 
>   (3) put current installation documentation under /install and simply
>       add a few redirects for those pages that have changed names?
> 
> That way we can retain existing structures, possibly replace /onlinedocs 
> for the shorter /docs, and have one consistent index for all manuals.
> 
> Gerald

Hello.

Note the Sphinx changes will be reverted today:
https://gcc.gnu.org/pipermail/gcc/2022-November/239983.html

That said, we won't need to come up with a new sub-url.

Martin