1 files changed, 2 insertions, 1 deletions

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: