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;