diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-26 12:09:43 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-26 12:09:43 +0000 |
| commit | 82be04fd96c67653a27562c3f157674c99db84c2 (patch) | |
| tree | 5cfddffeee664119b0b5705ac697a2f7b8b32c1e | |
| parent | 4cc30822ae27e78b39505bb10cfd2c0cc87d6aa5 (diff) | |
use of -I options for ocamlrun to find dllunix.so and dllstr.so when generating man pages, and call to ./ocamldoc instead of ocamldoc to prevent using a previously instaaled ocamldoc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4744 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |