1 files changed, 9 insertions, 1 deletions
diff --git a/Konzerte/2018_01_07/make b/Konzerte/2018_01_07/make
index 7e73e51..39d0932 100755
--- a/Konzerte/2018_01_07/make
+++ b/Konzerte/2018_01_07/make
@@ -25,7 +25,15 @@ for teil in "${teile[@]}"
 do
   (
     cd ../../${teil}
-    make "$@" ${teil##*/}.pre
+    sed -n '
+      s/^[^:]*%\.pdf.*:\s*//
+      T
+      s/%/'"${teil##*/}"'/g
+      p
+    ' Makefile | \
+      tr ' ' '\n' | \
+      grep '\.pre$' | \
+      xargs -r make "$@"
   )
 done