Re: [DOCS] sphinx: use new Sphinx links

[Gerald Pfeifer <gerald@pfeifer.com>]

[-- Attachment #1: Type: text/plain, Size: 1025 bytes --]

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?

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


> 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?

Gerald