summaryrefslogtreecommitdiffstats
path: root/ocamldoc/runocamldoc
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2002-04-26 13:32:47 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2002-04-26 13:32:47 +0000
commit30d618e98b471340e73d7fc23da739d871fc3a32 (patch)
tree1abec3623e9d5db8af386d248418152358b22642 /ocamldoc/runocamldoc
parentfc4919328c245e60434135e72a6a703c04e38ac5 (diff)
Faire marcher ocamldoc non installe avec et sans DLLs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/runocamldoc')
-rw-r--r--ocamldoc/runocamldoc11
1 files changed, 11 insertions, 0 deletions
diff --git a/ocamldoc/runocamldoc b/ocamldoc/runocamldoc
new file mode 100644
index 000000000..0f6878f14
--- /dev/null
+++ b/ocamldoc/runocamldoc
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+case "$1" in
+ true) shift
+ exec ../ocamlrun -I ../otherlibs/unix -I ../otherlibs/str ./ocamldoc $*
+ ;;
+ *) shift
+ exec ./ocamldoc $*
+ ;;
+esac
+ \ No newline at end of file