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}"