From 070e21368c1048854128a7ff954026b5b147b7a2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 24 Feb 2015 14:26:53 +0100
Subject: [PATCH] make sure we-regenerate the dependency information when the
Makefile is changed
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 219ed4738..ce98c7d60 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:
--
GitLab