From bd8bbc460c6a3750249bee36485a32598b19b78b Mon Sep 17 00:00:00 2001
From: Daniel <daniel@harvey>
Date: Wed, 9 Dec 2020 14:47:42 +0100
Subject: [PATCH] FIX: Pipeline: Remove `/public/` if it exists.
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46558026..72b66829 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -105,11 +105,11 @@ pages:
tags: [ docker ]
stage: deploy
only:
- - f-doc
+ - dev
script:
- echo "Deploying"
- make doc
- - {rm public || true}; cp -r build/doc/html public
+ - rm -r public || true ; cp -r build/doc/html public
artifacts:
paths:
- public
--
GitLab