Fix makedoc.g

nathancarter · Aug 5, 2022 · a13ce05 · a13ce05
1 parent c0aed39
commit a13ce05
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/makedoc.g b/makedoc.g
@@ -7,6 +7,7 @@ fi;
 
 AutoDoc(
     rec(
+        scaffold := true,
         gapdoc := rec(
             LaTeXOptions := rec(
                 EarlyExtraPreamble := "\\usepackage[pdftex]{graphicx}"