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