From c1ee60395a2916c48dbe25d8ee42c39b9aa4c076 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Mon, 28 Mar 2022 00:41:45 +0200 Subject: [PATCH] Change supported Doxygen version to 1.8.17 This is the version available in Ubuntu 20.04 which is currently used both on docs.wxwidgets.org and in GitHub Actions Ubuntu environment, so it looks like a reasonable choice, even though the latest version is 1.9.3. Note that the versions earlier than 1.8.14 can't be used any longer since the changes in the previous commit because "^^" in the aliases definition don't work in them and result in garbled output. --- docs/doxygen/regen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/doxygen/regen.sh b/docs/doxygen/regen.sh index e2e7a19ffe..afa785fa76 100755 --- a/docs/doxygen/regen.sh +++ b/docs/doxygen/regen.sh @@ -41,7 +41,7 @@ fi # Still allow using incompatible version if explicitly requested. if [[ -z $WX_SKIP_DOXYGEN_VERSION_CHECK ]]; then doxygen_version=`$DOXYGEN --version` - doxygen_version_required=1.8.8 + doxygen_version_required=1.8.17 if [[ $doxygen_version != $doxygen_version_required ]]; then echo "Doxygen version $doxygen_version is not supported." echo "Please use Doxygen $doxygen_version_required or export WX_SKIP_DOXYGEN_VERSION_CHECK."