GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#
# Generate the manual using AutoDoc
#
if fail = LoadPackage("AutoDoc", ">= 2016.01.21") then
Error("AutoDoc 2016.01.21 or newer is required");
fi;
AutoDoc(rec(
maketest := rec( commands := [ "LoadPackage(\"NormalizInterface\");" ] ),
scaffold := rec( bib := "NormalizInterface-bib.xml" ),
autodoc := rec( files := [ "doc/intro.autodoc", "src/normaliz.cc" ] ),
));
PrintTo("VERSION", GAPInfo.PackageInfoCurrent.Version);
QUIT;