From 50d5c5ebec19a71c6de15a735a100d97c9cb551c Mon Sep 17 00:00:00 2001
From: Julien Schueller <schueller@phimeca.com>
Date: Mon, 21 Oct 2024 15:55:43 +0200
Subject: [PATCH] CI: Disable sphinx

---
 .ci_support/run_docker_linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci_support/run_docker_linux.sh b/.ci_support/run_docker_linux.sh
index 375fca9..6fc5b62 100755
--- a/.ci_support/run_docker_linux.sh
+++ b/.ci_support/run_docker_linux.sh
@@ -8,7 +8,7 @@ cmake -DCMAKE_INSTALL_PREFIX=~/.local \
       -DCMAKE_UNITY_BUILD=ON \
       -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wpedantic -Wshadow -Werror -D_GLIBCXX_ASSERTIONS" \
       -DSWIG_COMPILE_FLAGS="-O1 -Wno-unused-parameter -Wno-shadow" \
-      -DUSE_SPHINX=ON -DSPHINX_FLAGS="-W -T -j4" \
+      -DUSE_SPHINX=OFF -DSPHINX_FLAGS="-W -T -j4" \
       /io
 make install
 make tests