From e7f4d10438350c84f1fbdd696024e47ac43c6d0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Thu, 19 Oct 2023 10:25:55 +0200
Subject: [PATCH] further try

---
 .gitea/workflows/build.yaml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index 1ebed10..d70202b 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -35,9 +35,11 @@ jobs:
           REF_NAME: ${{ github.ref_name }}
       - name: Compile documentation
         if: github.ref == 'refs/heads/master'
-        run: make doc
+        run: |
+          echo ${TEXINPUTS}
+          make doc
         env:
-          TEXINPUTS: ${{ github.workspace }}/build/packages
+          TEXINPUTS: '${{ github.workspace }}/build/packages//'
       - name: Prepage pages
         if: github.ref == 'refs/heads/master'
         run: |