summaryrefslogtreecommitdiffstats
path: root/ocamldoc/runocamldoc
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-04-26 23:59:08 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-04-26 23:59:08 +0000
commit08641ca968244d1fbc4802e06fa03c2c35b543c2 (patch)
tree7e6254a0e613ac8299c2c0f9e5d04f3bf03a72d1 /ocamldoc/runocamldoc
parent57de9a6387580d4832054d3a517787d43f324779 (diff)
Makefile bugs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/runocamldoc')
-rw-r--r--ocamldoc/runocamldoc4
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/runocamldoc b/ocamldoc/runocamldoc
index 0f6878f14..64613b6fa 100644
--- a/ocamldoc/runocamldoc
+++ b/ocamldoc/runocamldoc
@@ -2,10 +2,10 @@
case "$1" in
true) shift
- exec ../ocamlrun -I ../otherlibs/unix -I ../otherlibs/str ./ocamldoc $*
+ exec ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str ./ocamldoc $*
;;
*) shift
exec ./ocamldoc $*
;;
esac
- \ No newline at end of file
+