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>

diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git
index 00334ddac7d5c0866bebcfd6782924399a5bf999..44c7384ca2dfe78e90f685c5dd0e2141104fdcee 100755 (executable)
--- 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