diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index d70202b..1500073 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -39,7 +39,7 @@ jobs:
           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: |