> Am 16.12.2025 um 02:16 schrieb Pietro Monteiro <[email protected]>:
>
> Ping:
> https://inbox.sourceware.org/gcc-patches/[email protected]/
>
> cc'ing release managers as suggested on IRC,
Ok
Richard
> 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
