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 684f0cd0..58825c34 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 -s -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 |