*.backup
*.aux
*.toc
*.out
*.log
*.dvi
Makefile.dist.in
Makefile.dist
Makefile.in
Makefile

dune-localfunctions-manual.pdf

