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