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 # diff --git a/doc.zih.tu-dresden.de/mkdocs.yml b/doc.zih.tu-dresden.de/mkdocs.yml index 00f0b09db3e4f7470b65e203e517f38268739e78..c6f1b9068220f2739c1bb4ee17a474af89aa14bd 100644 --- a/doc.zih.tu-dresden.de/mkdocs.yml +++ b/doc.zih.tu-dresden.de/mkdocs.yml @@ -223,3 +223,4 @@ extra: plugins: - search - markdown-caption + - htmlproofer