Merge pull request #17 from fingolfin/mh/fix-makedoc

nathancarter · web-flow · commit b9f9c6c377ca · 2022-08-11T12:06:34.000-04:00
Fix makedoc.g
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}"
