Makefile
Makefile.in
dev-manual.bbl
dev-manual.blg
dev-manual.log
dev-manual.pdf
dev-manual.toc
version.tex

