*.1
*.log
*.tex
*.aux
*.png
*.dvi
*.dummy
*.html
*.ps
*.pdf
*.svg
*.annot
*.cmx
*.cmi
*.o
parse.ml