On 11/11/22 11:18, Richard Biener wrote: > On Fri, Nov 11, 2022 at 10:12 AM Tobias Burnus <tob...@codesourcery.com> > wrote: >> >> On 11.11.22 09:50, Martin Liška wrote: >>> I do support the Richi's idea about using a new URL for the new Sphinx >>> documentation >>> while keeping the older Texinfo documentation under /onlinedocs and /install >> >> If we do so and those become then static files: Can we put some >> disclaimer at the top of all HTML files under /install/ and under >> /onlinedocs/<previous mainline>/ that those are legacy files and the new >> documentation can be found under <URL> (not a deep link but directly to >> the install pages or the new overview page about the Sphinx docs). >> >> I think we really need such a hint – otherwise it is more confusing than >> helpful! Additionally, we should add a "news" entry to the mainpage >> pointing out that it changed and linking to the new Sphinx doc. > > Note I think we can "remove" the install/ and onlinedocs/ _landing_ pages > (index.html) but we should keep the actual content pages so old links keep > working. We can also replace the landing pages with a pointer to the new > documentation (or plain re-direct to that!).
Even better. So let me summarize it: gcc.gnu.org/docs - will contain newly generated Sphinx documentation gcc.gnu.org/docs/gcc - sub-folder example gcc.gnu.org/docs/install - sub-folder example gcc.gnu.org/docs/gcc-13.1.0/install - sub-folder example once we'll have GCC 13.1 release gcc.gnu.org/install/index.html - 301 to gcc.gnu.org/docs/install gcc.gnu.org/install/$something - point to old install manual gcc.gnu.org/onlinedocs/index.html - 301 to gcc.gnu.org/docs/ gcc.gnu.org/onlinedocs/$something - point to old GCC manual @Gerald: Is it something you can set-up? What do you think about it? Martin > > Richard. > >> Tobias >> >> ----------------- >> Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, >> 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: >> Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; >> Registergericht München, HRB 106955
