diff options
| -rwxr-xr-x | source3/script/installman.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source3/script/installman.sh b/source3/script/installman.sh index d30429d50a..5564ac0231 100755 --- a/source3/script/installman.sh +++ b/source3/script/installman.sh @@ -13,6 +13,10 @@ if [ $# -ge 4 ] ; then GROFF=$4 # sh cmd line, including options fi +if test ! -d docs/manpages; then + echo "No manpages present. SVN development version maybe?" + exit 0 +fi for lang in $langs; do if [ "X$lang" = XC ]; then |