diff options
| -rwxr-xr-x | scripts/lesson-make | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/lesson-make b/scripts/lesson-make index 7db37eee..589c6a0d 100755 --- a/scripts/lesson-make +++ b/scripts/lesson-make @@ -7,6 +7,11 @@ 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 -e 's/\.tex$/.pdf/g' -e 's/\.md$/.pdf/g' -e 's/slides.pdf/slides.pdf slides.pptx/') + TARGETS=( "$@" ) + if [[ -z "${TARGETS[*]}" ]]; then + read -ra TARGETS < <(eval "${FIND}" | sed -e 's/\.tex$/.pdf/g' -e 's/\.md$/.pdf/g' -e 's/slides.pdf/slides.pdf slides.pptx/') + fi + + exec make -f "${MAKEFILE}" "${TARGETS[@]}" fi |