Ping: https://inbox.sourceware.org/gcc-patches/[email protected]/
cc'ing release managers as suggested on IRC, Thanks! On Mon, Dec 8, 2025, at 1:25 PM, Pietro Monteiro wrote: > From 428b2c6459b7b650f1fffada6b53b6b9b40a0406 Mon Sep 17 00:00:00 2001 > From: Pietro Monteiro <[email protected]> > Date: Mon, 8 Dec 2025 13:07:08 -0500 > Subject: [PATCH] Generate Algol68 frontend online docs > > maintainer-scripts/ChangeLog: > > * update_web_docs_git (MANUALS): Add ga68 and ga68-internals. > > Signed-off-by: Pietro Monteiro <[email protected]> > --- > maintainer-scripts/update_web_docs_git | 2 ++ > 1 file changed, 2 insertions(+) > > diff --git a/maintainer-scripts/update_web_docs_git > b/maintainer-scripts/update_web_docs_git > index 00334ddac7d..44c7384ca2d 100755 > --- a/maintainer-scripts/update_web_docs_git > +++ b/maintainer-scripts/update_web_docs_git > @@ -32,6 +32,8 @@ fi > MANUALS="cpp > cppinternals > fastjar > + ga68 > + ga68-internals > gcc > gccgo > gccint > -- > 2.52.0
