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
