diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7f009150afd1b3aec6d3aed2383c6b45607335a2..46558026cbe98fef5f938a2cb966f64773942800 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