examples/tutorial.coqpass
examples/tutorial.tex
examples/tutorial.pdf
build/
build/**
examples/.build
examples/*.o
examples/*.hi