From f0b929d3de78c79cf30cde3672e008921efb8092 Mon Sep 17 00:00:00 2001
From: Tobias Winchen <tobias.winchen@rwth-aachen.de>
Date: Fri, 20 Nov 2020 09:25:28 +0000
Subject: [PATCH] Fix pages deploy

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8505220f..19516426 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -54,8 +54,8 @@ pages:
   dependencies:
     - make_doc
   script:
-    - mkdir public
-    - mv doc/* public/
+    - mkdir build/public
+    - mv build/doc/* build/public/
   artifacts:
     paths:
       - public
-- 
GitLab