|
## this creates the documentation, needs: GAPDoc and AutoDoc packages, pdflatex
##
## Call this with GAP from within the package directory.
if fail = LoadPackage("AutoDoc", ">= 2019.04.10") then
Error("AutoDoc 2019.04.10 or newer is required");
fi;
AutoDoc(rec( scaffold := rec( MainPage := false, TitlePage := false ),
extract_examples := true,
gapdoc := rec( main := "manual.xml" )));
Exec("mv tst/primgrp01.tst tst/manualexamples/");
[ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
]
|
