diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-05-16 15:13:01 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-05-16 15:13:01 +0000 |
| commit | a23932825725511f095478a554ad8d1ab44d0c9f (patch) | |
| tree | e3e124292b9158a68e097396735825f2ced85928 /ocamldoc/runocamldoc | |
| parent | 0d4d371b63e1f43ffdf8995ee6b426db54fbb2a0 (diff) | |
ajout $id
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 - |