From 0da17c082221f883c432431b78d36485d2c7a13b Mon Sep 17 00:00:00 2001
From: Pietro Monteiro <pietro@sociotechnical.xyz>
Date: Tue, 16 Dec 2025 07:48:06 -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 <pietro@sociotechnical.xyz>
---
 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.47.3