further try

2023-10-19 10:25:55 +02:00 · 2023-10-19 10:25:55 +02:00 · e7f4d10438
commit e7f4d10438
parent 6ae8238e15
1 changed files with 4 additions and 2 deletions
--- 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: |