aboutsummaryrefslogtreecommitdiff
path: root/make-lesson
diff options
context:
space:
mode:
Diffstat (limited to 'make-lesson')
-rwxr-xr-xmake-lesson12
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
-