Commit ee9d6fdc authored by Raphael Cauderlier's avatar Raphael Cauderlier
Browse files

.vo files are generated: clean them

parent 867afde3
......@@ -8,7 +8,7 @@ FOCALIZEC_OPT = $(INCLUDE_DIRS) -no-stdlib-path -dedukti-code -stop-before-zenon
# Bash required for the target in file interop/arith/Makefile
GENERATED = *.dko *.sk.* *.fo *.pfc *.zv *.mangled *_fcl.* .depend *.glob Coq__*.dk *_fcl.* *.art *.txt
GENERATED = *.dko *.sk.* *.fo *.pfc *.zv *.mangled *_fcl.* .depend *.glob *.vo Coq__*.dk *_fcl.* *.art *.txt
$(DKCHECK) $(DKCHECK_OPT) -e -nl $<
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