diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:08:04 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:08:04 +0200 |
commit | bfd54b0906e8f3064301a3fa09bb294cb1e3f795 (patch) | |
tree | b04dd29e13f2701f2265f7ebe602f292d9d93a10 /ocamldoc/Makefile | |
parent | 2b93a502c2cb00c99506190e889332afe78c1051 (diff) | |
download | ocaml-bfd54b0906e8f3064301a3fa09bb294cb1e3f795.tar.gz |
Provide an interface for ocamldoc's odoc_text_lexer module
This commit also removes a few unused values from odoc_text_lexer.mll
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 0122f437ba..526d0ca628 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -35,7 +35,7 @@ OCAMLDOC_LIBCMXA=odoc_info.cmxa OCAMLDOC_LIBA=odoc_info.$(A) OCAMLDOC_LIBMLIS=$(addsuffix .mli,\ - odoc_info odoc_messages) + odoc_info odoc_text_lexer odoc_messages) OCAMLDOC_LIBCMIS=$(OCAMLDOC_LIBMLIS:.mli=.cmi) OCAMLDOC_LIBCMTS=$(OCAMLDOC_LIBMLIS:.mli=.cmt) $(OCAMLDOC_LIBMLIS:.mli=.cmti) |