From 03de97a2ecd0c1837d54a620d1fc0159329c8ad9 Mon Sep 17 00:00:00 2001
From: Julien Schueller <schueller@phimeca.com>
Date: Fri, 11 Oct 2024 17:51:33 +0200
Subject: [PATCH] CI: Enable 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 cbe095d..c121cbc 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" \
-      -DSPHINX_FLAGS="-W -T -j4" \
+      -DUSE_SPHINX=ON -DSPHINX_FLAGS="-W -T -j4" \
       /io
 make install
 make tests