From dc1628a433fa5bee2e008953c527e718676195d6 Mon Sep 17 00:00:00 2001
From: Iban Eguia <razican@protonmail.ch>
Date: Fri, 16 Oct 2020 14:11:12 +0200
Subject: [PATCH] Update the master CI workflow (#881)

This should fix the master build, since it seems that we are caching what we shouldn't.
---
 .github/workflows/master.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
index 2609b062e6..4356def204 100644
--- a/.github/workflows/master.yml
+++ b/.github/workflows/master.yml
@@ -30,7 +30,9 @@ jobs:
           command: doc
           args: -v --document-private-items
       - run: echo "<meta http-equiv=refresh content=0;url=boa/index.html>" > target/doc/index.html
-      - run: mkdir target/doc_upload && mv target/doc target/doc_upload/doc
+      - run: |
+          if [ -d target/doc_upload ]; then rm -rf target/doc_upload; fi
+          mkdir target/doc_upload && mv target/doc target/doc_upload/doc
       - name: Upload documentation
         uses: crazy-max/ghaction-github-pages@v2
         with: