https://gcc.gnu.org/g:0da17c082221f883c432431b78d36485d2c7a13b

commit r16-6171-g0da17c082221f883c432431b78d36485d2c7a13b
Author: Pietro Monteiro <[email protected]>
Date:   Tue Dec 16 07:48:06 2025 -0500

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

Diff:
---
 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 00334ddac7d5..44c7384ca2df 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

Reply via email to