diff options
Diffstat (limited to 'ocaml-binary-annot/ocamldoc/runocamldoc')
| -rw-r--r-- | ocaml-binary-annot/ocamldoc/runocamldoc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ocaml-binary-annot/ocamldoc/runocamldoc b/ocaml-binary-annot/ocamldoc/runocamldoc new file mode 100644 index 0000000000..a71d705ccd --- /dev/null +++ b/ocaml-binary-annot/ocamldoc/runocamldoc @@ -0,0 +1,12 @@ +#!/bin/sh +# $Id$ + +case "$1" in + true) shift + exec ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str \ + ./ocamldoc "$@" + ;; + *) shift + exec ./ocamldoc "$@" + ;; +esac |