diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dba01a3ec91051a82bf97e36cc788ac5874abf5f..a9cf4b425434019e3cb83bd779a3083145f5f4e7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -100,6 +100,7 @@ build-users-doc:
       - doc/users/documentation.pdf
       - doc/users/documentation.html
       - doc/users/images/
+  allow_failure: true
 
 build-developers-doc:
   stage: build
@@ -130,6 +131,7 @@ build-developers-doc:
       - doc/dev/documentation.html
       - doc/dev/html.tar
       - doc/dev/images/
+  allow_failure: true
 
 build-linux:
   stage: build