From 88f6c4621372d935a9dfba8cf29f680de3a08faa Mon Sep 17 00:00:00 2001
From: Alex Davies <traverse.da@gmail.com>
Date: Sat, 19 Oct 2024 13:00:23 -0300
Subject: [PATCH] Build for github pages

---
 .github/workflows/build-docs.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build-docs.yaml
index e83d30f..aed3d09 100644
--- a/.github/workflows/build-docs.yaml
+++ b/.github/workflows/build-docs.yaml
@@ -42,3 +42,9 @@ jobs:
       with:
         name: docs.pdf
         path: docs.pdf
+
+    - name: Deploy
+      uses: peaceiris/actions-gh-pages@v4
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: doc/build/html