From 5e1804d339d6da81eb4a0c46eadec1fb5ffb00f7 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Thu, 18 Dec 2008 16:58:37 +0000
Subject: Ajout des fichiers de lib/ dans les dépendences générées par make
 coq.dep.ps et make coq.dot. Le résultat n'est pas très probant, car on
 continue à n'analyser que les .mli, on devrait sans doute analyser les .ml
 pour avoir les vrais dépendances de Coq. A suivre...

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

diff --git a/Makefile.build b/Makefile.build
index 61d4944835..8f1d5601f8 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -1014,8 +1014,8 @@ proofs/proofs.dot: $(PROOFSMLI:.mli=.cmi)
 toplevel/toplevel.dot: $(TOPLEVELMLI:.mli=.cmi)
 	$(OCAMLDOC) -rectypes $(MLINCLUDES) $(ODOCDOTOPTS) -o $@ $(TOPLEVELMLI)
 
-coq.dot: $(COQMLI:.mli=.cmi)
-	$(OCAMLDOC) -rectypes $(MLINCLUDES) $(ODOCDOTOPTS) -o $@ $(COQMLI)
+coq.dot: $(LIBREP:.cmo=.cmi) $(COQMLI:.mli=.cmi)
+	$(OCAMLDOC) -rectypes $(MLINCLUDES) $(ODOCDOTOPTS) -o $@ $(wildcard $(LIBREP:.cmo=.mli)) $(COQMLI)
 
 
 # For emacs: 
-- 
cgit v1.2.3