/manual.aux
/manual.dvi
/manual.haux
/manual.html
/manual.htoc
/manual.log
/manual.pdf
/manual.ps
/manual.ps.gz
/manual.txt
