From 36abb5e5428de0d3d47731811084b25974ec4a5f Mon Sep 17 00:00:00 2001
From: Daniel <daniel@harvey>
Date: Wed, 9 Dec 2020 13:51:01 +0100
Subject: [PATCH] FIX: Pipeline: Remove `/public/` if it exists.

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7f009150..46558026 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -109,7 +109,7 @@ pages:
   script:
     - echo "Deploying"
     - make doc
-    - cp -r build/doc/html public
+    - {rm public || true}; cp -r build/doc/html public
   artifacts:
     paths:
       - public
-- 
GitLab