diff options
Diffstat (limited to 'ocamldoc/runocamldoc')
| -rw-r--r-- | ocamldoc/runocamldoc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ocamldoc/runocamldoc b/ocamldoc/runocamldoc index b5fcfb51e..a71d705cc 100644 --- a/ocamldoc/runocamldoc +++ b/ocamldoc/runocamldoc @@ -5,8 +5,8 @@ case "$1" in true) shift exec ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str \ ./ocamldoc "$@" - ;; + ;; *) shift - exec ./ocamldoc "$@" - ;; + exec ./ocamldoc "$@" + ;; esac |