diff --git a/Dockerfile b/Dockerfile index c10511f46775d42e5cbff168237e1cbe685ba407..e2ac450341cb5dd893d1488582cd2587908a9315 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,3 +6,8 @@ RUN pip install mkdocs>=1.1.2 # Add custom theme if not inside a theme_dir # (https://github.com/mkdocs/mkdocs/wiki/MkDocs-Themes) RUN pip install mkdocs-material>=5.4.0 + +COPY doc.zih.tu-dresden.de/ /src/ + +WORKDIR /src/doc.zih.tu-dresden.de +RUN mkdocs build