diff --git a/.github/scripts/build-doxygen.sh b/.github/scripts/build-doxygen.sh
new file mode 100755
index 0000000..913a255
--- /dev/null
+++ b/.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
diff --git a/.github/scripts/configure-build.sh b/.github/scripts/configure-build.sh
deleted file mode 100755
index 9e68815..0000000
--- a/.github/scripts/configure-build.sh
+++ /dev/null
@@ -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
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 960b752..0eb2c8a 100644
--- a/.github/workflows/build.yml
+++ b/.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
-      with:
-        working-directory: './build'
+      run: ./.github/scripts/build-doxygen.sh
+
+    - name: Dump generated files
+      run: find ./build -type f -print
 
     - name: Deploy generated documentation to Github pages
       uses: peaceiris/actions-gh-pages@v3