diff options
-rwxr-xr-x | bin/d-i_check_jobs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/d-i_check_jobs.sh b/bin/d-i_check_jobs.sh index d2684ad4..d6a808b2 100755 --- a/bin/d-i_check_jobs.sh +++ b/bin/d-i_check_jobs.sh @@ -87,7 +87,8 @@ IGNORE="build debian doc README scripts build-stamp doc-base-stamp po" for DIRECTORY in * ; do # Some languages are unsupported case $DIRECTORY in - eu) continue ;; + eu) echo "The manual for the language $DIRECTORY has been disabled." + continue ;; esac for i in $IGNORE ; do if [ "$DIRECTORY" == "$i" ] ; then |