diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:21:17 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:21:17 +0200 |
commit | c18ab3143e7b3d0f4d54b28d937afd7143d251d2 (patch) | |
tree | 88d95aa40254710eb0387d159775b78d14b1a423 /ocamldoc/Makefile | |
parent | 0f67568a8a8d65da1ad7df1630eaaedb52a825e0 (diff) | |
download | ocaml-c18ab3143e7b3d0f4d54b28d937afd7143d251d2.tar.gz |
Provide an interface for ocamldoc's odoc_latex_style module
This commit also removes two unused value declarations from the module.
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index fef65a367b..ccbd91ea45 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -35,8 +35,8 @@ OCAMLDOC_LIBCMXA=odoc_info.cmxa OCAMLDOC_LIBA=odoc_info.$(A) OCAMLDOC_LIBMLIS=$(addsuffix .mli,\ - odoc_dep odoc_extension odoc_info odoc_text_lexer odoc_man odoc_messages \ - odoc_parameter odoc_texi odoc_to_text odoc_type odoc_value) + odoc_dep odoc_extension odoc_info odoc_latex_style odoc_man odoc_messages \ + 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) |