diff options
-rw-r--r-- | shell/source/unix/misc/senddoc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/source/unix/misc/senddoc.sh b/shell/source/unix/misc/senddoc.sh index 455b127e95b6..b8b393075d50 100644 --- a/shell/source/unix/misc/senddoc.sh +++ b/shell/source/unix/misc/senddoc.sh @@ -6,7 +6,7 @@ URI_ENCODE="awk -f `dirname $0`/uri-encode" which() { if [ ! -z "$1" ]; then for i in `echo $PATH | sed -e 's/^:/.:/g' -e 's/:$/:./g' -e 's/::/:.:/g' -e 's/:/ /g'`; do - if [ -x "$i/$1" ]; then + if [ -x "$i/$1" -a ! -d "$i/$1" ]; then echo "$i/$1" break; fi |