diff --git a/Dockerfile b/Dockerfile index e0121582e4dffee8ed997d687ec390dd8ca117c2..361784141327d5a23422a7944e542a6fab42df36 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,7 +14,7 @@ RUN pip install mkdocs>=1.1.2 mkdocs-material>=7.1.0 mkdocs-htmlproofer-plugin== RUN apt-get update && apt-get install -y nodejs npm aspell git git-lfs -RUN npm install -g markdownlint-cli markdown-link-check +RUN npm install -g markdownlint-cli@0.32.2 markdown-link-check ########################################### # prepare git for automatic merging in CI # diff --git a/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh b/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh index 9986ad6f49e2e739f8a53d7911f4e346196d21a4..d01622e4bba4188479370be170339b1f01308074 100755 --- a/doc.zih.tu-dresden.de/util/download-newest-mermaid.js.sh +++ b/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/dist/mermaid.min.js +wget https://unpkg.com/mermaid@9.4.0/dist/mermaid.min.js