From 8f4561468b34cfd9d1c9fe3f661da27faeec4578 Mon Sep 17 00:00:00 2001
From: bikerdanny <62376119+bikerdanny@users.noreply.github.com>
Date: Mon, 26 Apr 2021 12:13:02 +0200
Subject: [PATCH] Put hole git repo inside Docker container

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

diff --git a/Dockerfile b/Dockerfile
index 2759c1a54..76d661f1c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,8 +11,9 @@ RUN pip install mkdocs>=1.1.2
 # (https://github.com/mkdocs/mkdocs/wiki/MkDocs-Themes)
 RUN pip install mkdocs-material>=5.4.0
 
-WORKDIR /src
-COPY doc.zih.tu-dresden.de/ /src/
+COPY ./ /src/
+
+WORKDIR /src/doc.zih.tu-dresden.de
 
 RUN mkdocs build --verbose
 
-- 
GitLab