manual.aux
manual.dvi
manual.html
manual.log
manual.ps
manual.tex
manual.txt
