From a13ce057a77260263a45823913e5a2990592ffc9 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 5 Aug 2022 23:10:02 +0200
Subject: [PATCH] Fix makedoc.g

---
 makedoc.g | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makedoc.g b/makedoc.g
index b953766..436fac0 100644
--- a/makedoc.g
+++ b/makedoc.g
@@ -7,6 +7,7 @@ fi;
 
 AutoDoc(
     rec(
+        scaffold := true,
         gapdoc := rec(
             LaTeXOptions := rec(
                 EarlyExtraPreamble := "\\usepackage[pdftex]{graphicx}"