diff options
| author | Erich Eckner <git@eckner.net> | 2022-11-17 10:37:33 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-11-17 10:40:04 +0100 |
| commit | c20a5f9c81b54d8a9234d7ba24ded5961d762d08 (patch) | |
| tree | 0ff3dc1f857cd3d795fdcbec76212920a9dd79e4 /The_blessing_of_Aaron | |
| parent | 0e89cdfa1b6ab771c531a9d4c273f10438ac98b7 (diff) | |
| download | Musik-c20a5f9c81b54d8a9234d7ba24ded5961d762d08.tar.xz | |
allow creating midis per make
Diffstat (limited to 'The_blessing_of_Aaron')
| -rw-r--r-- | The_blessing_of_Aaron/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/The_blessing_of_Aaron/Makefile b/The_blessing_of_Aaron/Makefile index fb92f9c..0d2ab77 100644 --- a/The_blessing_of_Aaron/Makefile +++ b/The_blessing_of_Aaron/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 $< $@ |