From 5e29c0dfe57f10c8d5ec3e6ef7a3805cc9353250 Mon Sep 17 00:00:00 2001
From: Matteo Bernardini <matteo@teobe.net>
Date: Wed, 3 Sep 2025 11:58:13 +0800
Subject: [PATCH] ci: automatically build docs

---
 .github/workflows/docs.yml | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9ca1558..aa7b448 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -5,9 +5,25 @@ on:
       - main
 
 jobs:
-  publish_docs:
+  build:
     name: Publish latest documentation
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v5
-      # TODO: run makefile in docs directory, then commit built assets to gh-pages branch
\ No newline at end of file
+      - name: Build HTML documentation
+        run: make -C doc html
+      - name: Upload artifacts
+        uses: actions/upload-pages-artifact@v4
+        with:
+          path: doc/html
+
+  deploy:
+    runs-on: ubuntu-latest
+    needs: build
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
\ No newline at end of file