## Comandos a executar no GAP para produzir o manual

path := Directory("/home/mdelgado/investigacao/GAP/local/pkg/numericalsgps/doc");;
#path := Directory("/home/josejoao/aulas/estagio/aut-semi/pkg/numericalsgps/doc");;
main := "NumericalSgpsMan.xml";;
files := [];;
bookname := "NumericalSgpsMan";;
MakeGAPDocDoc( path, main, files, bookname);;