diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:25:39 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:25:39 +0200 |
commit | 0cff7ba351b17a5720d0d8ea36a7828b385e4fa4 (patch) | |
tree | b1bae2b26918faf60069e2ea138f7cda4c5d109c /ocamldoc/Makefile | |
parent | 2f8dba7b3e4c79a2ce2707d1c87706d874c34cbc (diff) | |
download | ocaml-0cff7ba351b17a5720d0d8ea36a7828b385e4fa4.tar.gz |
Provide an interface for ocamldoc's odoc_html module
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 53ad55a72b..6c8fb19d4c 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -35,9 +35,9 @@ OCAMLDOC_LIBCMXA=odoc_info.cmxa OCAMLDOC_LIBA=odoc_info.$(A) OCAMLDOC_LIBMLIS=$(addsuffix .mli,\ - odoc_dep odoc_extension odoc_info odoc_latex odoc_latex_style odoc_man \ - odoc_messages odoc_ocamlhtml odoc_parameter odoc_texi odoc_text_lexer \ - odoc_to_text odoc_type odoc_value) + odoc_dep odoc_extension odoc_html odoc_info odoc_latex odoc_latex_style \ + odoc_man odoc_messages odoc_ocamlhtml odoc_parameter odoc_texi \ + odoc_text_lexer odoc_to_text odoc_type odoc_value) OCAMLDOC_LIBCMIS=$(OCAMLDOC_LIBMLIS:.mli=.cmi) OCAMLDOC_LIBCMTS=$(OCAMLDOC_LIBMLIS:.mli=.cmt) $(OCAMLDOC_LIBMLIS:.mli=.cmti) |