diff options
| author | Pierre-Marie Pédrot | 2014-08-23 16:52:59 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-08-23 16:52:59 +0200 |
| commit | 23c2320c5be06c0a8b86a68d4c764c7eb0b1e14f (patch) | |
| tree | 0707e0289fe51d3bb3ef0627bcb4740243584d93 | |
| parent | a8f63f0dd852bf4510111feaf8bcdb7b4869c64d (diff) | |
Fixing ml-dot & mli-dot targets.
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 8dfc3fbfe4..aa3dc51474 100644 --- a/Makefile.build +++ b/Makefile.build @@ -807,13 +807,13 @@ $(OCAMLDOCDIR)/coq.tex: $(DOCMLIS:.mli=.cmi) -intro $(OCAMLDOCDIR)/docintro -o $@ mli-doc: $(DOCMLIS:.mli=.cmi) - $(OCAMLDOC) -html -rectypes -I +threads -I $(MYCAMLP4LIB) $(MLINCLUDES) $(COQIDEFLAGS)\ + $(OCAMLDOC) -html -rectypes -I +threads -I $(MYCAMLP4LIB) $(MLINCLUDES) \ $(DOCMLIS) -d $(OCAMLDOCDIR)/html -colorize-code \ -t "Coq mlis documentation" -intro $(OCAMLDOCDIR)/docintro \ -css-style style.css ml-dot: $(MLFILES) - $(OCAMLDOC) -dot -dot-reduce -rectypes -I +threads -I $(CAMLLIB) -I $(MYCAMLP4LIB) $(MLINCLUDES) $(COQIDEFLAGS)\ + $(OCAMLDOC) -dot -dot-reduce -rectypes -I +threads -I $(CAMLLIB) -I $(MYCAMLP4LIB) $(MLINCLUDES) \ $(filter $(addsuffix /%.ml,$(CORESRCDIRS)),$(MLFILES)) -o $(OCAMLDOCDIR)/coq.dot %_dep.png: %.dot |