From 94ed9eaa988555387cdde33d18648e7e1ccf0e9d Mon Sep 17 00:00:00 2001 From: Oliver Kopp Date: Wed, 29 Jan 2025 13:42:27 +0100 Subject: [PATCH] commands.tex is for English only --- .github/workflows/update-files.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/update-files.yml b/.github/workflows/update-files.yml index 067af594..a66e1bf3 100644 --- a/.github/workflows/update-files.yml +++ b/.github/workflows/update-files.yml @@ -100,6 +100,7 @@ jobs: if [ "${{ matrix.listings }}" != "minted" ] || [ "${{ matrix.language }}" != "en" ]; then rm _latexmkrc rm -r .github/workflows + rm commands.tex fi # the LICENSE of the repository should be kept