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: >