diff options
Diffstat (limited to 'ocamldoc/runocamldoc')
| -rw-r--r-- | ocamldoc/runocamldoc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ocamldoc/runocamldoc b/ocamldoc/runocamldoc index 4a907f680..b5fcfb51e 100644 --- a/ocamldoc/runocamldoc +++ b/ocamldoc/runocamldoc @@ -1,11 +1,12 @@ #!/bin/sh +# $Id$ case "$1" in true) shift - exec ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str ./ocamldoc "$@" + exec ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str \ + ./ocamldoc "$@" ;; *) shift exec ./ocamldoc "$@" ;; esac - |