From 6d411585b3ae135d62bf52569f182b9f4a510e36 Mon Sep 17 00:00:00 2001
From: Elliot Goodrich <elliotgoodrich@gmail.com>
Date: Thu, 4 Jul 2024 07:20:18 +0100
Subject: [PATCH] Fix documentation step in Actions

We must regenerate everything from scratch in a separate job as nothing
carries over.
---
 .github/workflows/ci.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 88d3aa0..d0f91c4 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -39,6 +39,16 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     steps:
+    - uses: actions/checkout@v4
+    - uses: actions/setup-node@v4
+      with:
+        node-version: latest
+        cache: 'npm'
+    - uses: seanmiddleditch/gha-setup-ninja@master
+    - run: cd configure && npm ci
+    - run: npm run configure
+    - run: ninja -k 0 prep-for-docs
+    - run: npm run docs
     - uses: actions/upload-pages-artifact@v3
       with:
         path: "./docs"