From cc465a050cf1f1f581886c20570117e2e344ba3d Mon Sep 17 00:00:00 2001
From: Pierre-Antoine Rouby <pierre-antoine.rouby@inrae.fr>
Date: Wed, 11 Oct 2023 16:50:14 +0200
Subject: [PATCH] ci: Allow doc build failed.

---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dba01a3e..a9cf4b42 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
-- 
GitLab