diff options
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 e2a1bfca9e..53ad55a72b 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -36,8 +36,8 @@ 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_parameter odoc_texi odoc_text_lexer odoc_to_text \ - odoc_type odoc_value) + 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) |