diff options
| author | Erich Eckner <git@eckner.net> | 2022-11-17 14:04:01 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-11-17 14:04:01 +0100 |
| commit | 316336ca917342db1b26478b08e36e16d97f342e (patch) | |
| tree | 51c3ea909306ec5ec2959edda7e5a72084212d60 /Komm_in_unsre_stolze_Welt | |
| parent | 1b87efef66f8c21828bd0e969f2e235467e390c6 (diff) | |
| download | Musik-316336ca917342db1b26478b08e36e16d97f342e.tar.xz | |
make midis prettier
Diffstat (limited to 'Komm_in_unsre_stolze_Welt')
| -rw-r--r-- | Komm_in_unsre_stolze_Welt/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Komm_in_unsre_stolze_Welt/Makefile b/Komm_in_unsre_stolze_Welt/Makefile index 0d2ab77..79587e6 100644 --- a/Komm_in_unsre_stolze_Welt/Makefile +++ b/Komm_in_unsre_stolze_Welt/Makefile @@ -24,8 +24,8 @@ include ../.meta/*.mk lilypond $< pkill -SIGHUP -xf "mupdf(-x11)? $@" || true -%-midi.midi: %-midi.post +%.midi: %-midi.post lilypond $< - -%.midi: %-midi.midi - mv $< $@ + for s in *-midi*.midi; do \ + mv "$$s" "$${s%-midi*.midi}$${s##*-midi}"; \ + done |