From 7be9e1046b843297b6cc5f41a9221d2a4c664b2f 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:55:29 +0200
Subject: [PATCH] fix compilation

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

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index be4fce1..344d1b7 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -35,7 +35,9 @@ jobs:
           REF_NAME: ${{ github.ref_name }}
       - name: Compile documentation
         if: github.ref == 'refs/heads/master'
-        run: .ci/compile_doc.sh
+        run: make doc
+        env:
+          TEXINPUTS: build/packages//:
       - name: Prepage pages
         if: github.ref == 'refs/heads/master'
         run: |