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
