Hi Gerald, Excerpts from Gerald Pfeifer's message of November 29, 2022 9:21 pm: > Hi Iain, > > On Tue, 29 Nov 2022, Iain Buclaw via Gcc-patches wrote: >> This looks obvious, however I don't know how things are generated for >> the online documentation site in order to say this won't cause any >> problems for whatever process is building these pages. > >>> maintainer-scripts/ChangeLog: >>> >>> * update_web_docs_git: Add gdc to MANUALS. > > please go ahead and let me know when done. I'll see how I can help. >
Thanks, I've committed it - along with a bit of content I've been working on since the temporary switch to Sphinx (the gdc pages of seem to still be up https://gcc.gnu.org/onlinedocs/gdc/). As far as I understand, there's also a corresponding wwwdocs change to be done so that there's a reference from the main onlinedocs page. Will wait until docs have been confirmed rebuilt before submitting that. Iain.
