From c07e84d91b3407f75b61c5efc125c1044ef71992 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Thu, 19 Oct 2023 02:23:39 +0200
Subject: [PATCH] generate documentation on master

---
 .gitea/workflows/build.yaml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index 7478189..ac3d376 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -33,13 +33,16 @@ jobs:
           .ci/deploy_to_build_repo.sh
         env:
           REF_NAME: ${{ github.ref_name }}
+      - name: Compile documentation
+        if: github.ref == 'refs/heads/master'
+        run: make doc
       - name: Prepage pages
         if: github.ref == 'refs/heads/master'
         run: |
           cd build
           rm -rf packages/.git  # Don't deploy the git files
           zip -r latex-packages.zip packages/ -x '*.git*'
-          zip -r latex-packages-doc.zip doc
+          zip -r latex-packages-doc.zip doc/
       - name: Deploy to pages
         if: github.ref == 'refs/heads/master'
         uses: actions/pages@v1