## Comandos a executar no GAP para produzir o manual

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

######### Os ficheiros de estilo podem ser copiados executando:
cp investigacao/GAP/GAP4.5/gap4r5/pkg/GAPDoc-1.4/doc/*.css investigacao/GAP/local/pkg/automata/doc
cp investigacao/GAP/GAP4.5/gap4r5/pkg/GAPDoc-1.4/doc/*.js investigacao/GAP/local/pkg/automata/doc
