Commit efd1c579 authored by BOLDO Sylvie's avatar BOLDO Sylvie

Ensures Coqdep 8.2 works correctly.

parent 944b160b
......@@ -15,6 +15,6 @@ datadir = $(libdir)
%.vd: %.v
@echo COQDEP $<
@$(COQDEP) $< > $@
@$(COQDEP) -I . $< > $@
-include $(FILES:=d)
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