diff options
Diffstat (limited to 'make-lesson')
| -rwxr-xr-x | make-lesson | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/make-lesson b/make-lesson deleted file mode 100755 index a82776d6..00000000 --- a/make-lesson +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/bash -MAKEFILE='Makefile' -while [[ ! -f "${MAKEFILE}" ]]; do - MAKEFILE=../"${MAKEFILE}" -done - -FIND="find . -maxdepth 1 '(' -name '*.md' -o -name '*.tex' ')' -a -not -name 'Aufgabe[0-9].tex'" - -if [[ -f "${MAKEFILE}" ]]; then - exec make -s -f "${MAKEFILE}" "$@" $(eval "${FIND}" | sed 's/.tex/.pdf/g' | sed 's/.md/.pdf/g') -fi - |
