1 2 3 4 5 6 7 8 9 10 11 12
#!/bin/sh # $Id$ case "$1" in true) shift exec ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str \ ./ocamldoc "$@" ;; *) shift exec ./ocamldoc "$@" ;; esac