blob: 684f0cd02970324bd57ed64e4aa26fc32fa83ab1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/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' -a -not -name '_*'"
if [[ -f "${MAKEFILE}" ]]; then
exec make -s -f "${MAKEFILE}" "$@" $(eval "${FIND}" | sed 's/.tex/.pdf/g' | sed 's/.md/.pdf/g')
fi
|
