From 886816c546f7ffa8204bac725aa777e5d4bd746b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20B=C3=BCren?= Date: Mon, 23 Nov 2015 18:30:16 +0100 Subject: [PATCH] =?utf8?q?Mehr=20Fehlerm=C3=B6glichkeiten=20bei=20dobudish?= =?utf8?q?/=20dir=20Pr=C3=BCfung=20melden?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- scripts/build_doc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build_doc.sh b/scripts/build_doc.sh index 6362075a3..2efa9b991 100755 --- a/scripts/build_doc.sh +++ b/scripts/build_doc.sh @@ -39,7 +39,7 @@ fi dobudish=$(ls -d doc/build/dobudish* 2> /dev/null) if [[ -z $dobudish ]] || [[ ! -d ${dobudish} ]]; then - echo "There's no dobudish directory inside doc/build." + echo "There's no dobudish directory inside doc/build OR more than one file / dir starting with dobudish (hint: zip file downloaded there?)." exit 1 fi -- 2.20.1