.depend.opt
Make* 
README 
examples/automath/*.aut 
examples/automath/README 
coq/*.v
coq/*.template
src/*.ml
src/Make*
src/*/*