Commit d7b02693 authored by Heiko Becker's avatar Heiko Becker

Fine tuning of infrastructure

parent b7e2923c
......@@ -10,6 +10,7 @@ coq/*.glob
coq/*.vo
coq/.*
coq/*.v.d
coq/*/*.v.d
coq/Makefile
coq/*/*.glob
coq/*/.*
......
......@@ -3,3 +3,5 @@
echo "-R . Daisy" > _CoqProject
find . -path ./attic -prune -o -name "*.v" -print >> _CoqProject
coq_makefile -f _CoqProject -o Makefile
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment