01

2026-07-28 21:30:22 +02:00
parent d36c1031d1
commit 9704060041
3 changed files with 3 additions and 2 deletions
@@ -17,9 +17,8 @@ jobs:

            - name: Find all root .tex files
              id: roots
-                #ROOTS=$(grep -rl '\\documentclass' --include='*.tex' . | sed 's|^\./||' | tr '\n' ' ')
              run: |
-                  ROOTS=$(awk '/\\begin\{/{if (!dc) exit} /\\documentclass/{dc=1; print FILENAME; exit}' $(find . -name "*.tex") | sed 's|^\./||' | tr '\n' ' ')
+                  ROOTS=$(grep -rlzP '%ROOT\\s*\\n\\\\documentclass' --include='*.tex' . | sed 's|^\./||' | tr '\n' ' ')
                  echo "roots=$ROOTS" >> "$GITHUB_OUTPUT"
                  echo "Root files to build: $ROOTS"