diff options
| -rw-r--r-- | Makefile.build | 4 |
1 files 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: |