|
#
# WPE: Provides efficient methods for working with wreath product elements.
#
# 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( scaffold := rec(
bib := "wpe",
includes := [
"intro.xml",
"notation.xml",
"tutorial.xml",
"functions.xml",
"operations.xml",
],
),
extract_examples := true,
autodoc := true ) );
Exec("dev/tests_doc/processTests.sh");
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
