Update Doxygen to 1.10

AMICI-dev · Jan 2, 2024 · 046db24 · 046db24
1 parent 409ae3d
commit 046db24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/downloadAndBuildDoxygen.sh b/scripts/downloadAndBuildDoxygen.sh
@@ -9,7 +9,7 @@ DOXYGEN_DIR="${AMICI_PATH}"/ThirdParty/doxygen
 cd "${AMICI_PATH}"/ThirdParty
 if [[ ! -d ${DOXYGEN_DIR} ]]; then
   git clone --single-branch \
-            --branch Release_1_9_7 \
+            --branch Release_1_10_0 \
             --depth 1 \
             -c advice.detachedHead=false \
             https://github.com/doxygen/doxygen.git "${DOXYGEN_DIR}"