|
#
# 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 := rec(
files := ["doc/intro.autodoc"],
),
scaffold := rec(
bib := "bib",
),
extract_examples := true,
));
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|