diff options
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index a3c706e4b4..41d0fc18aa 100644 --- a/Makefile.build +++ b/Makefile.build @@ -673,6 +673,10 @@ mli-doc:: $(DOCMLIS:.mli=.cmi) -t "Coq mlis documentation" -intro $(OCAMLDOCDIR)/docintro \ -css-style style.css +ml-dot:: $(MLEXTRAFILES) + $(OCAMLDOC) -dot -dot-reduce -rectypes -I $(CAMLLIB) -I $(MYCAMLP4LIB) $(MLINCLUDES)\ + $(filter $(addsuffix /%.ml,$(CORESRCDIRS)),$(MLFILES)) -o $(OCAMLDOCDIR)/coq.dot + %_dep.png: %.dot $(DOT) -Tpng $< -o $@ |