summaryrefslogtreecommitdiff
path: root/Die_Himmel_ruehmen
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-11-17 10:37:33 +0100
committerErich Eckner <git@eckner.net>2022-11-17 10:40:04 +0100
commitc20a5f9c81b54d8a9234d7ba24ded5961d762d08 (patch)
tree0ff3dc1f857cd3d795fdcbec76212920a9dd79e4 /Die_Himmel_ruehmen
parent0e89cdfa1b6ab771c531a9d4c273f10438ac98b7 (diff)
downloadMusik-c20a5f9c81b54d8a9234d7ba24ded5961d762d08.tar.xz
allow creating midis per make
Diffstat (limited to 'Die_Himmel_ruehmen')
-rw-r--r--Die_Himmel_ruehmen/Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Die_Himmel_ruehmen/Makefile b/Die_Himmel_ruehmen/Makefile
index fb92f9c..0d2ab77 100644
--- a/Die_Himmel_ruehmen/Makefile
+++ b/Die_Himmel_ruehmen/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 $< $@