## Comandos a executar no GAP para produzir o manual

path := Directory("/home/mdelgado/investigacao/GAP/local/pkg/automata/doc");;
#path := Directory("/home/josejoao/GAP/pkg/automata/doc");;
main := "AutMan.xml";;
files := [];;
bookname := "Automata";;
MakeGAPDocDoc( path, main, files, bookname);;

