Re: [DOCS] sphinx: use new Sphinx links

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

On 11/10/22 09:28, Gerald Pfeifer wrote:
> Hi Martin,
> 
> On Wed, 9 Nov 2022, Martin Liška wrote:
>> Gerald I would like to ask you for further server actions related
>> to the Sphinx documentation:
> 
> sure, happy to help!
> 
>> 1) https://gcc.gnu.org/install/ - for the future we will use
>> https://gcc.gnu.org/onlinedocs/install/
> 
> That's a (fair) bit longer and more complex URL. I understand the point
> about cross referencing older GCC releases and see benefits with that.
> 
> What do you think of keeping the latest under this shorter and simpler
> URL (too), though?

Hello.

Works for me.

> 
> I believe a symlink (in the file system) on gcc.gnu.org could pull that
> off.

Yep, please do so.

> 
> 
>> So please remove content of /www/gcc/htdocs-preformatted/install
> 
> That'll make some things simpler.
> 
> Note how in style.mthml we have some special provisions for install/.
> 
> Over the last years I have reduced those to a large extent. There is still
> a little bit post-processing going on right now including setting our CSS
> and our favicon.
> 
> Should we see how to move those over to the new setup, or would you drop
> that?

Well, the entire content of gcc.gnu.org/onlinedocs/install/ is *one* of our
documentations and there should not be anything special about it.
Does it make sense?

Cheers,
Martin

> 
> Gerald