GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
if fail = LoadPackage("AutoDoc", ">= 2016.01.21") then
Error("AutoDoc 2016.01.21 or newer is required");
fi;
# Use AutoDoc to regenerate the manual title page with data from
# PackageInfo.g (i.e. make sure the author and version information is
# up-to-date).
AutoDoc(rec(
scaffold := rec(
includes := [
"intro.xml",
"basics.xml",
"infra.xml",
"non-interact.xml",
"interact.xml",
"options.xml",
"install.xml",
],
appendix := [ "examples.xml" ],
entities := [ "ANUPQ", "AutPGrp" ],
)
));
# Update the VERSION file with the current version (it is used by
# configure.ac).
PrintTo("VERSION", GAPInfo.PackageInfoCurrent.Version);
QUIT;