Quelle  makedoc.g  Sprache: unbekannt

##  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/");