2002-04-26 06:32:47 -07:00
|
|
|
#!/bin/sh
|
2002-05-16 08:13:01 -07:00
|
|
|
# $Id$
|
2002-04-26 06:32:47 -07:00
|
|
|
|
|
|
|
|
case "$1" in
|
|
|
|
|
true) shift
|
2002-05-16 08:13:01 -07:00
|
|
|
exec ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/str \
|
|
|
|
|
./ocamldoc "$@"
|
2002-04-26 06:32:47 -07:00
|
|
|
;;
|
|
|
|
|
*) shift
|
2002-05-03 01:06:17 -07:00
|
|
|
exec ./ocamldoc "$@"
|
2002-04-26 06:32:47 -07:00
|
|
|
;;
|
|
|
|
|
esac
|
