diff options
| -rw-r--r-- | ocamldoc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 428f7eee7..df4d48425 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -32,7 +32,7 @@ OCAMLPP=-pp 'grep -v DEBUG' MKDIR=mkdir -p CP=cp -f OCAMLDOC=ocamldoc -OCAMLDOC_RUN=$(CAMLRUN) $(OCAMLDOC) +OCAMLDOC_RUN=$(CAMLRUN) -I ../otherlibs/unix -I ../otherlibs/str ./$(OCAMLDOC) OCAMLDOC_OPT=$(OCAMLDOC).opt OCAMLDOC_LIBCMA=odoc_info.cma OCAMLDOC_LIBCMI=odoc_info.cmi |