diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a6a1a6d6f1d92f02ec531281fa399db83960be4a..e909907874b70173635bf5406cdcc30544319d62 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -199,7 +199,7 @@ pages:
   - ci.inria.fr
   script:
   - mkdir -p build && cd build && cmake ..  -DBUILD_DOCUMENTATION=ON  -DBUILD_CORE=ON
-  - cd doc && make doc && mv latex ../../public
+  - cd doc && make doc && mv html ../../public
   artifacts:
     paths:
     - public