diff --git a/Makefile.coq.local b/Makefile.coq.local
index b88ee9aa2af..60c0b467969 100644
--- a/Makefile.coq.local
+++ b/Makefile.coq.local
@@ -139,11 +139,11 @@ strict: strict-test strict-no-axiom hottlib hott-core hott-categories contrib
 # The deps file, for graphs
 HoTT.deps: $(ALL_VFILES)
 	$(SHOW)'COQDEP > $@'
-	$(HIDE)$(COQDEP) $(CMDLINE_COQLIBS) $(ALL_VFILES) | sed s'#\\#/#g' >$@
+	$(HIDE)$(COQDEP) $(COQLIBS) $(ALL_VFILES) | sed s'#\\#/#g' >$@
 
 HoTTCore.deps: $(CORE_VFILES)
 	$(SHOW)'COQDEP > $@'
-	$(HIDE)$(COQDEP) $(CMDLINE_COQLIBS) $(CORE_VFILES) | sed s'#\\#/#g' >$@
+	$(HIDE)$(COQDEP) $(COQLIBS) $(CORE_VFILES) | sed s'#\\#/#g' >$@
 
 # The HTML files
 # We have a dummy file, to allow us to depend on the html files