diff options
Diffstat (limited to 'Die_beste_Zeit_im_Jahr_ist_mein_/Makefile')
| -rw-r--r-- | Die_beste_Zeit_im_Jahr_ist_mein_/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Die_beste_Zeit_im_Jahr_ist_mein_/Makefile b/Die_beste_Zeit_im_Jahr_ist_mein_/Makefile index fb92f9c..0d2ab77 100644 --- a/Die_beste_Zeit_im_Jahr_ist_mein_/Makefile +++ b/Die_beste_Zeit_im_Jahr_ist_mein_/Makefile @@ -23,3 +23,9 @@ include ../.meta/*.mk %.pdf: %.post lilypond $< pkill -SIGHUP -xf "mupdf(-x11)? $@" || true + +%-midi.midi: %-midi.post + lilypond $< + +%.midi: %-midi.midi + mv $< $@ |