blob: 589c6a0d381ca2ef3222ccf4780a4e72b42a0e04 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/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
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
|
