Re: Ping: [PATCH] maintainer-scripts: Add gdc to update_web_docs_git

2022-11-30 Thread Iain Buclaw via Gcc-patches
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 >>

Re: Ping: [PATCH] maintainer-scripts: Add gdc to update_web_docs_git

2022-11-29 Thread Gerald Pfeifer
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: >

Ping: [PATCH] maintainer-scripts: Add gdc to update_web_docs_git

2022-11-29 Thread Iain Buclaw via Gcc-patches
Ping. 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. Excerpts from Iain Buclaw's message of November 21, 2022 11:29 am: > Hi, > > This patch adds gdc t

[PATCH] maintainer-scripts: Add gdc to update_web_docs_git

2022-11-21 Thread Iain Buclaw via Gcc-patches
Hi, This patch adds gdc to maintainer-scripts/update_web_docs_git so that it's built and uploaded to gcc.gnu.org/onlinedocs. One half of re-adding the gdc docs that were taken down after the revert to the Sphinx conversion. OK? Regards, Iain. --- PR web/107749 maintainer-scripts/Chang