From 595b2976b11aa39abef7746928d3d56fb6a1beb3 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 14 Jun 2003 16:15:05 +0000
Subject: dependcoq integre les fichiers de fsets

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4165 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 277361023a..a5ecb3a88c 100644
--- a/Makefile
+++ b/Makefile
@@ -1208,7 +1208,8 @@ cleanconfig::
 alldepend: depend dependcoq 
 
 dependcoq:: beforedepend
-	$(COQDEP) -R theories Coq -R contrib Coq $(COQINCLUDES) $(ALLREALS:.vo=.v) $(ALLVO:.vo=.v) > .depend.coq
+	$(COQDEP) -R theories Coq -R contrib Coq $(COQINCLUDES) \
+	 $(FSETSVO:.vo=.v) $(ALLREALS:.vo=.v) $(ALLVO:.vo=.v) > .depend.coq
 
 # Build dependencies ignoring failures in building ml files from ml4 files
 # This is useful to rebuild dependencies when they are strongly corrupted:
-- 
cgit v1.2.3