manual.log
manual.aux
manual.dvi
manual.ps
manual.pdf
manual.toc
defs.aux

