## Comandos a executar no GAP para produzir o manual
 
#path := Directory("/home/mdelgado/aut-semi/pkg/sgpviz/doc");;
path := Directory("/home/josejoao/GAP/pkg/sgpviz/doc");;
main := "SgpVizMan.xml";;
files := [];;
bookname := "SgpVizMan";;
MakeGAPDocDoc( path, main, files, bookname);;
