diff options
author | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-02-27 11:58:20 +0000 |
---|---|---|
committer | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-02-27 11:58:20 +0000 |
commit | 9238db3009b3007d6b6a3767a9232088b8c88b9b (patch) | |
tree | 0d5824a2fb9f99b344204d89ef8826dca2079b22 /Makefile.doc | |
parent | e3124e098ef8170dac2b348b91757a7034bc4999 (diff) |
Use MYCAMLP5LIB instead of undefined MYCAMLP4LIB
This completes the work of
b60906cc3ee3f994babf9cceff2971bd03485f2f
Diffstat (limited to 'Makefile.doc')
-rw-r--r-- | Makefile.doc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.doc b/Makefile.doc index 8cb9c9f0f..db4cb6a58 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -400,7 +400,7 @@ source-doc: mli-doc $(OCAMLDOCDIR)/coq.pdf $(OCAMLDOCDIR)/coq.tex: $(DOCMLIS:.mli=.cmi) $(SHOW)'OCAMLDOC -latex -o $@' - $(HIDE)$(OCAMLFIND) ocamldoc -latex -rectypes -I $(MYCAMLP4LIB) $(MLINCLUDES)\ + $(HIDE)$(OCAMLFIND) ocamldoc -latex -rectypes -I $(MYCAMLP5LIB) $(MLINCLUDES)\ $(DOCMLIS) -noheader -t "Coq mlis documentation" \ -intro $(OCAMLDOCDIR)/docintro -o $@.tmp $(SHOW)'OCAMLDOC utf8 fix' @@ -410,13 +410,13 @@ $(OCAMLDOCDIR)/coq.tex: $(DOCMLIS:.mli=.cmi) mli-doc: $(DOCMLIS:.mli=.cmi) $(SHOW)'OCAMLDOC -html' - $(HIDE)$(OCAMLFIND) ocamldoc -charset utf-8 -html -rectypes -I +threads -I $(MYCAMLP4LIB) $(MLINCLUDES) \ + $(HIDE)$(OCAMLFIND) ocamldoc -charset utf-8 -html -rectypes -I +threads -I $(MYCAMLP5LIB) $(MLINCLUDES) \ $(DOCMLIS) -d $(OCAMLDOCDIR)/html -colorize-code \ -t "Coq mlis documentation" -intro $(OCAMLDOCDIR)/docintro \ -css-style style.css ml-dot: $(MLFILES) - $(OCAMLFIND) ocamldoc -dot -dot-reduce -rectypes -I +threads -I $(CAMLLIB) -I $(MYCAMLP4LIB) $(MLINCLUDES) \ + $(OCAMLFIND) ocamldoc -dot -dot-reduce -rectypes -I +threads -I $(CAMLLIB) -I $(MYCAMLP5LIB) $(MLINCLUDES) \ $(filter $(addsuffix /%.ml,$(CORESRCDIRS)),$(MLFILES)) -o $(OCAMLDOCDIR)/coq.dot %_dep.png: %.dot |