## Comandos a executar no GAP para produzir o manual

#path := Directory("/home/mdelgado/aut-semi/pkg/automata/doc");;
path := Directory("/home/josejoao/aulas/estagio/aut-semi/pkg/automata/doc");;
main := "AutMan.xml";;
files := [];;
bookname := "Automata";;
MakeGAPDocDoc( path, main, files, bookname);;
