diff options
Diffstat (limited to 'scripts/lesson-make')
| -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 58825c34..d45f3ac8 100755 --- a/scripts/lesson-make +++ b/scripts/lesson-make @@ -7,6 +7,6 @@ done 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 -f "${MAKEFILE}" "$@" $(eval "${FIND}" | sed 's/.tex/.pdf/g' | sed 's/.md/.pdf/g') + exec make -f "${MAKEFILE}" "$@" $(eval "${FIND}" | sed 's/\.tex$/.pdf/g' | sed 's/\.md$/.pdf/g') fi |