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 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/ChangeLog: > > * update_web_docs_git: Add gdc to MANUALS. > --- > maintainer-scripts/update_web_docs_git | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/maintainer-scripts/update_web_docs_git > b/maintainer-scripts/update_web_docs_git > index 6c38e213562..dee9b1d3b5e 100755 > --- a/maintainer-scripts/update_web_docs_git > +++ b/maintainer-scripts/update_web_docs_git > @@ -21,6 +21,7 @@ MANUALS="cpp > gccgo > gccint > gcj > + gdc > gfortran > gfc-internals > gnat_ugn > -- > 2.37.2 > >
