diff options
| -rwxr-xr-x | source3/script/makeyodldocs.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/source3/script/makeyodldocs.sh b/source3/script/makeyodldocs.sh index d0abaab7ae..5b54df033e 100755 --- a/source3/script/makeyodldocs.sh +++ b/source3/script/makeyodldocs.sh @@ -1,5 +1,11 @@ -#!/bin/sh -v +#!/bin/sh SRCDIR=$1 +shift +FILES=$@ + +if test -z $FILES; then + FILES=*.yo +fi YODLDIR=$SRCDIR/../docs/yodldocs MANPAGEDIR=$SRCDIR/../docs/manpages @@ -24,7 +30,7 @@ fi cd $YODLDIR -for d in *.yo +for d in $FILES do # |