From b8cf54f5037cf850f9f07a518006be9e18c31e84 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sat, 1 Aug 2026 00:40:00 +0200
Subject: [PATCH] Fix makedoc.g to not call AutoDoc twice

... and with different arguments. This lead to CI failures.
---
 makedoc.g | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/makedoc.g b/makedoc.g
index a1a9921..2fe12c2 100644
--- a/makedoc.g
+++ b/makedoc.g
@@ -7,6 +7,7 @@ if fail = LoadPackage("AutoDoc", "2016.02.16") then
     Error("AutoDoc version 2016.02.16 or newer is required.");
 fi;
 
-AutoDoc(rec(scaffold := true, autodoc := true));
-
-AutoDoc(rec(autodoc := rec(files := ["doc/intro.autodoc"])));
+AutoDoc(rec(
+    scaffold := true,
+    autodoc := rec(files := ["doc/intro.autodoc"]),
+));