From 13bbc42e4e97d946289d229f6c106c6e7d829d8d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 19 Oct 2023 02:56:31 +0200 Subject: [PATCH] fix ci file --- .gitea/workflows/build.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml index 344d1b7..aff973f 100644 --- a/.gitea/workflows/build.yaml +++ b/.gitea/workflows/build.yaml @@ -37,7 +37,7 @@ jobs: if: github.ref == 'refs/heads/master' run: make doc env: - TEXINPUTS: build/packages//: + TEXINPUTS: 'build/packages//:' - name: Prepage pages if: github.ref == 'refs/heads/master' run: |