01

2026-07-28 21:08:20 +02:00
parent 18f9b9ffa9
commit 9fc35d6828
3 changed files with 4 additions and 3 deletions
@@ -17,8 +17,9 @@ jobs:

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