On 11/14/22 02:21, Gerald Pfeifer wrote: > On Sun, 13 Nov 2022, Martin Liška wrote: >> So Gerald, I'm suggesting a new url base gcc.gnu.org/docs that will be >> filled with the new manuals and gcc.gnu.org/onlinedocs/$man and >> gcc.gnu.org/install locations should point to older (trunk) manuals >> (prev folder at server I guess). Having that, the new manuals will not >> available through navigation and will get some time for further changes. > > I feel I may be missing something. > > Why don't we > > (1a) keep /onlinedocs for all docs < GCC 13, > (1b) possibly introduce /docs as an alternative URL (though we need > to keep /onlinedocs for all the existing ones), > > (2) add sphinx docs for trunk, GCC 13 and later to /docs (and at the > same time /onlinedocs which is just an alias) > > (3) put current installation documentation under /install and simply > add a few redirects for those pages that have changed names? > > That way we can retain existing structures, possibly replace /onlinedocs > for the shorter /docs, and have one consistent index for all manuals. > > Gerald
Hello. Note the Sphinx changes will be reverted today: https://gcc.gnu.org/pipermail/gcc/2022-November/239983.html That said, we won't need to come up with a new sub-url. Martin
