Try updating OS, debugging info

Author: tautschnig

Diff for: .github/workflows/doxygen-check.yaml

@@ -8,7 +8,7 @@ jobs:
   check-doxygen:
     # Note that the versions used for this `check-doxygen` job should be kept in
     # sync with the `publish` job.
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: Fetch dependencies

Diff for: .github/workflows/publish.yaml

@@ -6,7 +6,7 @@ jobs:
   publish:
     # Note that the versions used for this `publish` job should be kept in sync
     # with the `check-doxygen` job.
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4

Diff for: doc/doxygen-root/doxygen-markdown/markdown.sh

@@ -2,6 +2,8 @@
 
 set -euo pipefail
 
+set -vx
+
 BINDIR=$(dirname $(realpath ${BASH_SOURCE[0]}))
 FILES=$(find . -name '*.md')