Align Doxygen versions used for website publishing and PR checks

.github/workflows/doxygen-check.yaml

@@ -6,7 +6,9 @@ on:
 jobs:
   # This job takes approximately 2 minutes
   check-doxygen:
-    runs-on: ubuntu-20.04
+    # Note that the versions used for this `check-doxygen` job should be kept in
+    # sync with the `publish` job.
+    runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v3
     - name: Fetch dependencies

.github/workflows/publish.yaml

@@ -4,7 +4,9 @@ on: [push, pull_request]
 jobs:
   # This job takes approximately 3 minutes
   publish:
-    runs-on: ubuntu-latest
+    # Note that the versions used for this `publish` job should be kept in sync
+    # with the `check-doxygen` job.
+    runs-on: ubuntu-22.04
     steps:
       - name: Checkout repository
         uses: actions/checkout@v3

scripts/run_doxygen.sh

@@ -3,7 +3,7 @@
 echo "Running doxygen version $(doxygen --version)"
 
 # Check doxygen version
-EXPECTED_VERSION="1.8.17"
+EXPECTED_VERSION="1.9.1"
 doxygen --version | grep ^$EXPECTED_VERSION > /dev/null
 if [ $? -ne 0 ]
 then

src/analyses/ai.h

@@ -67,9 +67,8 @@ Author: Daniel Kroening, [email protected]
 /// Users of abstract interpreters should use the interface given by this class.
 /// It breaks into three categories:
 ///
-/// 1. Running an analysis, via
-///    \ref ai_baset#operator()(const irep_idt&,const goto_programt&, <!--
-///    --> const namespacet&),
+/// 1. Running an analysis, via \ref
+///    #operator()(const irep_idt&,const goto_programt&, const namespacet&),
 ///    \ref ai_baset#operator()(const goto_functionst&,const namespacet&)
 ///    and \ref ai_baset#operator()(const abstract_goto_modelt&)
 /// 2. Accessing the results of an analysis, by looking up the history objects