diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7980f90eb16a03370acc07a940f801911c1ddef8..5ad5f1304f0a6d15e935c7ad4378f55366673891 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -120,7 +120,7 @@ pages_prepare: &pages_prepare
   script:
     - echo "Deploying..."
     - make doc
-    - cp -r build/doc/html public
+    - rm -r public || true ; cp -r build/doc/html public
   artifacts:
     paths:
       - public