diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5c6e0689a851f01aeea23fd1a6204c9640b8e646..46bb1baa116f29d4bc4afb31994adf250faf7229 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -388,7 +388,7 @@ ocaml-versions-nightly:
     - sudo apt update
     - opam pin . -n
     - opam depext frama-c --with-test
-    - opam install --jobs 2 frama-c --with-test
+    - opam install --jobs 2 frama-c --with-test --with-doc
     - frama-c -version
   tags:
     - docker