FIX: Pipeline: Remove `/public/` if it exists.

.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