diff options
Diffstat (limited to 'Meine_Zeit')
| -rw-r--r-- | Meine_Zeit/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Meine_Zeit/Makefile b/Meine_Zeit/Makefile index fb92f9c..0d2ab77 100644 --- a/Meine_Zeit/Makefile +++ b/Meine_Zeit/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 $< $@ |