Update version of mermaid

Obviously, different versions of mkdocs require different mermaid versions.

doc.zih.tu-dresden.de/util/check-spelling.sh

@@ -40,7 +40,8 @@ function is_wordlist_sorted(){
 }
 
 function should_skip_file(){
-  local result="$(git check-attr check-spelling -- "$1")"
+  local result
+  result="$(git check-attr check-spelling -- "$1")"
   test "${result#*: check-spelling: }" = "unset"
 }
 
@@ -83,7 +84,12 @@ function is_mistake_count_increased_by_changes(){
 
   source_hash=`git merge-base HEAD "${branch}"`
   #Remove everything except lines beginning with --- or +++
-  files=`git diff ${source_hash} -- '*.md' | sed -E -n 's#^(---|\+\+\+) ((/|./)[^[:space:]]+)$#\2#p'`
+  files=$(git diff ${source_hash} -- '*.md' \
+    | sed -E -n 's#^(---|\+\+\+) ((/|./)[^[:space:]]+)$#\2#p')
+  #Special case: when ${files} is empty, we need to prevent the failure at 'read newfile'
+  if [[ -z "${files}" ]]; then
+    return 0
+  fi
   #echo "${files}"
   #echo "-------------------------"
   #Assume that we have pairs of lines (starting with --- and +++).

doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh

@@ -6,4 +6,4 @@ scriptpath=${BASH_SOURCE[0]}
 basedir=`dirname "${scriptpath}"`
 basedir=`dirname "${basedir}"`
 cd ${basedir}/tud_theme/javascripts
-wget https://unpkg.com/mermaid@9.4.0/dist/mermaid.min.js
+wget https://unpkg.com/mermaid@11.4.1/dist/mermaid.min.js