makedoc.g: properly set LaTeX options (#27)

gap-packages · Mar 24, 2024 · ade686d · ade686d
1 parent 615e66b
commit ade686d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/makedoc.g b/makedoc.g
@@ -8,7 +8,7 @@ fi;
 AutoDoc(rec( scaffold := rec(
         includes := [ "preface.xml", "general.xml", "methods.xml", "timings.xml" ],
         bib := "factintbib.xml",
-        gapdoc_latex_options := rec( EarlyExtraPreamble := """
+        LaTeXOptions := rec( EarlyExtraPreamble := """
             \usepackage{amsfonts}
             \usepackage{amsxtra}
             """ ),