diff options
author | Erich Eckner <git@eckner.net> | 2017-12-10 10:47:21 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-12-10 10:47:21 +0100 |
commit | 47bb521539dc28e198444c4565373809eb0f5007 (patch) | |
tree | 998f9a1c65119f52dedfc14ea1c854c61d970285 /Konzerte/2018_01_07 | |
parent | b1532e4fd5582b8e4a9a862243a463889d199276 (diff) | |
download | Musik-47bb521539dc28e198444c4565373809eb0f5007.tar.xz |
Konzerte/2018_01_07: make erkennt nun Quellen besser
Diffstat (limited to 'Konzerte/2018_01_07')
-rwxr-xr-x | Konzerte/2018_01_07/make | 10 |
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 |