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 /Heut_gedenken_wir_der_Stunde | |
| parent | 0e89cdfa1b6ab771c531a9d4c273f10438ac98b7 (diff) | |
| download | Musik-c20a5f9c81b54d8a9234d7ba24ded5961d762d08.tar.xz | |
allow creating midis per make
Diffstat (limited to 'Heut_gedenken_wir_der_Stunde')
| -rw-r--r-- | Heut_gedenken_wir_der_Stunde/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Heut_gedenken_wir_der_Stunde/Makefile b/Heut_gedenken_wir_der_Stunde/Makefile index fb92f9c..0d2ab77 100644 --- a/Heut_gedenken_wir_der_Stunde/Makefile +++ b/Heut_gedenken_wir_der_Stunde/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 $< $@ |