On Thu, 10 Nov 2022, Martin Liška wrote: >> What do you think of keeping the latest under this shorter and simpler >> URL (too), though? > Works for me. : >> I believe a symlink (in the file system) on gcc.gnu.org could pull that >> off. > Yep, please do so.
Done. https://gcc.gnu.org/install/ is back with a new face. Will you be reverting the link adjustments back from /onlinedocs/install/ to plain /install/ ? >> 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. > 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? Yes, things have evolved historically and there was a time we needed/wanted to treat /install especially, for example to retain the same (white) background color across. By now, if we are to make changes, we probably should rather make them across all of /onlinedocs - favicon and our CSS being two such changes. Not a critical priority, though, I guess. Gerald
