diff --git a/Dockerfile b/Dockerfile
index 0999141870c48b88e0f983a51a9e5eec43b38d09..8ff24d46f51cdf56729d9eb6e29590203a4131f6 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ SHELL ["/bin/bash", "-c"]
 # Base #
 ########
 
-RUN pip install mkdocs>=1.1.2 mkdocs-material>=7.1.0
+RUN pip install mkdocs>=1.1.2 mkdocs-material>=7.1.0 mkdocs-htmlproofer-plugin>=0.8.0
 
 ##########
 # Linter #
@@ -14,7 +14,7 @@ RUN pip install mkdocs>=1.1.2 mkdocs-material>=7.1.0
 
 RUN apt-get update && apt-get install -y nodejs npm aspell git
 
-RUN npm install -g markdownlint-cli markdown-link-check
+RUN npm install -g markdownlint-cli
 
 ###########################################
 # prepare git for automatic merging in CI #