|
#
# This file is a script which compiles the package manual.
#
if fail = LoadPackage("AutoDoc", "2018.02.14") then
Error("AutoDoc version 2018.02.14 or newer is required.");
fi;
AutoDoc( rec(
autodoc := true,
#extract_examples := true,
gapdoc := rec( main := "InduceReduce.xml", ),
scaffold := rec( MainPage := false, TitlePage := false ),
) );
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|