From 6820f72166359c5520636a71d3762bb28daf0901 Mon Sep 17 00:00:00 2001
From: bikerdanny <62376119+bikerdanny@users.noreply.github.com>
Date: Fri, 23 Apr 2021 07:05:54 +0200
Subject: [PATCH] Added document tree to Docker image and run mkdocs build

---
 Dockerfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index c10511f46..e2ac45034 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
-- 
GitLab