Fix Doxygen generation workflow to use doxygen from apt

.github/scripts/build-doxygen.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+# Generate Doxygen documentation
+set -e
+
+./autogen.sh
+mkdir build
+cd build
+../configure
+make docs/.stamp

.github/scripts/configure-build.sh

@@ -1,9 +0,0 @@
-#!/bin/bash
-# Run configure in the build directory and stop
-# The generated files will be used to run Doxygen
-set -e
-
-./autogen.sh
-mkdir build
-cd build
-../configure

.github/workflows/build.yml

@@ -50,13 +50,11 @@ jobs:
     - name: Install dependencies
       run: ./.github/scripts/install-dependencies-ubuntu.sh
 
-    - name: Configure build
-      run: ./.github/scripts/configure-build.sh
-
     - name: Generate Doxygen documentation
-      uses: mattnotmitt/doxygen-action@v1
+      run: ./.github/scripts/build-doxygen.sh
-      with:
+
-        working-directory: './build'
+    - name: Dump generated files
+      run: find ./build -type f -print
 
     - name: Deploy generated documentation to Github pages
       uses: peaceiris/actions-gh-pages@v3