diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:15:19 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:15:20 +0200 |
commit | 614b114a1741005db7830c365dcc5a536ce783d3 (patch) | |
tree | e4492ddb220f6bf653278d9080afc42f9e403311 /ocamldoc/Makefile | |
parent | 1d5c348913d9917ebe7899ec67213f82ee17c0e4 (diff) | |
download | ocaml-614b114a1741005db7830c365dcc5a536ce783d3.tar.gz |
Provide an interface for ocamldoc's odoc_dep module
This commit also removes the unused graph type.
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 51767699bf..25a6cc692e 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -35,7 +35,8 @@ OCAMLDOC_LIBCMXA=odoc_info.cmxa OCAMLDOC_LIBA=odoc_info.$(A) OCAMLDOC_LIBMLIS=$(addsuffix .mli,\ - odoc_info odoc_text_lexer odoc_messages odoc_parameter odoc_type odoc_value) + odoc_dep odoc_extension odoc_info odoc_text_lexer odoc_messages \ + odoc_parameter odoc_type odoc_value) OCAMLDOC_LIBCMIS=$(OCAMLDOC_LIBMLIS:.mli=.cmi) OCAMLDOC_LIBCMTS=$(OCAMLDOC_LIBMLIS:.mli=.cmt) $(OCAMLDOC_LIBMLIS:.mli=.cmti) |