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