## 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);;