diff --git a/Makefile b/Makefile
index 219ed4738889161660324771c90e495bfaa7b249..ce98c7d60cd89472c6669d8684468dfbaef9a7e8 100644
--- a/Makefile
+++ b/Makefile
@@ -183,7 +183,7 @@ printenv:
 %.g.html: %.v %.glob
 	$(COQDOC) $(COQDOCFLAGS)  -html -g $< -o $@
 
-%.v.d: %.v
+%.v.d: %.v Makefile
 	$(COQDEP) -slash $(COQLIBS) "$<" > "$@" || ( RV=$$?; rm -f "$@"; exit $${RV} )
 
 %.v.beautified: