From 00026ebf5a8cd23a2e6d81066e642b59a37b7112 Mon Sep 17 00:00:00 2001 From: Alex Kremer Date: Wed, 7 Aug 2024 15:22:21 +0100 Subject: [PATCH] fix: Use doxygen 1.12 (#1587) Fixes #1431 --- .githooks/check-docs | 26 ++++++++++++++++++++++++-- .githooks/pre-commit | 3 +-- docker/ci/dockerfile | 2 +- 3 files changed, 26 insertions(+), 5 deletions(-) diff --git a/.githooks/check-docs b/.githooks/check-docs index 7a475d09..14f9c9ac 100755 --- a/.githooks/check-docs +++ b/.githooks/check-docs @@ -13,14 +13,36 @@ TMPDIR=${ROOT}/.cache/doxygen TMPFILE=${TMPDIR}/docs.log DOCDIR=${TMPDIR}/out +# Check doxygen is at all installed if [ -z "$DOXYGEN" ]; then # No hard error if doxygen is not installed yet cat < "$version" ]]; then + # No hard error if doxygen version is not the one we want - let CI deal with it + cat <