Upgrade to Doxygen 1.12.0 (#146)

Author: Bronek

.github/workflows/docs.yml

@@ -24,16 +24,22 @@ jobs:
     runs-on: ubuntu-latest
     container: libfn/ci-docs:latest
     steps:
-      - uses: actions/checkout@v3
-        with:
-          submodules: 'true'
+      - uses: actions/checkout@v4
 
-      - name: Export docs
+      # Guardrail to ensure that we do not update docs after a bad merge
+      - name: Build and run tests
         continue-on-error: false
         run: |
           mkdir .build
           cd .build
-          cmake -DDOCS=True ..
+          cmake -DDOCS=On ..
+          cmake --build .
+          ctest
+
+      - name: Export docs
+        continue-on-error: false
+        run: |
+          cd .build
           cmake --build . --target export_docs
 
       - name: Setup Pages

ci/docs/Dockerfile

@@ -36,10 +36,22 @@ RUN set -ex ;\
     apt-get update ;\
     apt-get install -y --no-install-recommends \
       ca-certificates gpg gpg-agent wget vim \
-      cmake ninja-build binutils libc6-dev git \
-      openjdk-17-jdk doxygen unzip ;\
+      cmake ninja-build make binutils libc6-dev git \
+      openjdk-17-jdk unzip ;\
     apt-get clean
 
+ARG DOXYGEN_RELEASE=1.12.0
+ENV DOXYGEN_RELEASE=${DOXYGEN_RELEASE}
+WORKDIR /work
+RUN set -ex ;\
+  DIST="https://www.doxygen.nl/files" ;\
+  wget ${DIST}/doxygen-${DOXYGEN_RELEASE}.linux.bin.tar.gz -O doxygen.tar.gz ;\
+  tar -xzf doxygen.tar.gz ;\
+  cd doxygen-${DOXYGEN_RELEASE} ;\
+  make install ;\
+  cd /work ;\
+  rm -rf doxygen.tar.gz doxygen-${DOXYGEN_RELEASE}
+
 ARG ZNAI_RELEASE=1.73
 ENV ZNAI_RELEASE=${ZNAI_RELEASE}
 WORKDIR /work
@@ -56,9 +68,9 @@ ENV CXX=/usr/bin/g++
 ENV CMAKE_GENERATOR=Ninja
 ENV CMAKE_BUILD_TYPE=Debug
 
-WORKDIR /work
 ARG CATCH_RELEASE=3.7.1
 ENV CATCH_RELEASE=${CATCH_RELEASE}
+WORKDIR /work
 RUN set -ex ;\
     git clone https://github.com/catchorg/Catch2.git ;\
     cd Catch2 ;\