From 160a69856247322e4a07bc1a313cb73338de0275 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Sun, 11 Jun 2023 11:55:22 +0200 Subject: fix whitespace errors --- scripts/lesson-make | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/lesson-make b/scripts/lesson-make index 684f0cd0..58825c34 100755 --- a/scripts/lesson-make +++ b/scripts/lesson-make @@ -7,6 +7,6 @@ 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') + exec make -f "${MAKEFILE}" "$@" $(eval "${FIND}" | sed 's/.tex/.pdf/g' | sed 's/.md/.pdf/g') fi -- cgit v1.2.3