diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lesson-make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lesson-make b/scripts/lesson-make index a82776d6..684f0cd0 100755 --- a/scripts/lesson-make +++ b/scripts/lesson-make @@ -4,7 +4,7 @@ while [[ ! -f "${MAKEFILE}" ]]; do MAKEFILE=../"${MAKEFILE}" done -FIND="find . -maxdepth 1 '(' -name '*.md' -o -name '*.tex' ')' -a -not -name 'Aufgabe[0-9].tex'" +FIND="find . -maxdepth 1 '(' -name '*.md' -o -name '*.tex' ')' -a -not -name 'Aufgabe[0-9].tex' -a -not -name '_*'" if [[ -f "${MAKEFILE}" ]]; then exec make -s -f "${MAKEFILE}" "$@" $(eval "${FIND}" | sed 's/.tex/.pdf/g' | sed 's/.md/.pdf/g') |