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
