From f1306822b68ddfe407f4e9d4749a1ab1f010a509 Mon Sep 17 00:00:00 2001
From: ROSPARS Benoit <benoit.rospars@inria.fr>
Date: Wed, 6 Mar 2019 17:05:40 +0100
Subject: [PATCH] Remove unused .public

---
 .gitlab-ci.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a94dd9a..788a26c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,12 +1,10 @@
 pages:
   stage: deploy
   script:
-  - mkdir .public
   - for file in $(find -name "*.md"); do
       pandoc -s -f markdown_github -t html -o ${file%.*}.html $file && echo "Exported ${file%.*}.html" || echo "ERROR $file";
     done
-  - cp -r * .public
-  - mv .public public
+  - mv * public
   artifacts:
     paths:
     - public
-- 
2.18.1