From f7e4cad74587451a509b34cbf8100d18d06d11ba Mon Sep 17 00:00:00 2001
From: crasbe <crasbe@gmail.com>
Date: Mon, 7 Apr 2025 13:01:20 +0200
Subject: [PATCH] build.sh: change Doxygen command to doc-ci

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 9b84775..e5adc7a 100755
--- a/build.sh
+++ b/build.sh
@@ -278,7 +278,7 @@ main() {
     # Only build Doxygen documentation if the build job was successful
     if [ ${build_test_res} -eq 0 ]; then
         echo "-- Building Doxygen documentation"
-        chronic make -C ${repo_dir} doc --no-print-directory
+        chronic make -C ${repo_dir} doc-ci --no-print-directory
         cp -R ${repo_dir}/doc/doxygen/html ./doc-preview
     fi