From e4e2d8e648c3c4ffaab7e297b9b9d013f4493302 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sun, 10 Dec 2017 10:43:00 +0100
Subject: Der_Morgenstern_ist_aufgedrungen: midi nun per make-Schalter
 schaltbar

---
 Der_Morgenstern_ist_aufgedrungen/Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Der_Morgenstern_ist_aufgedrungen')

diff --git a/Der_Morgenstern_ist_aufgedrungen/Makefile b/Der_Morgenstern_ist_aufgedrungen/Makefile
index 6ce2ede..354b1f1 100644
--- a/Der_Morgenstern_ist_aufgedrungen/Makefile
+++ b/Der_Morgenstern_ist_aufgedrungen/Makefile
@@ -7,7 +7,13 @@ else
   # \#(set-global-staff-size 14)
 endif
 
-all: $(CURDOC).pdf $(CURDOC).midi
+ifeq ($(MIDI),1)
+  MIDI_REGEX=
+else
+  MIDI_REGEX=/\\\\midi/{ :a; s/\\\\midi[^{}]*{/\\\\midi/; tb; N; ba; :b; s/{[^{}]*}//; tb; s/\\\\midi[^{}]*}//; t; N; bb; }
+endif
+
+all: $(CURDOC).pdf
 
 clean:
 	rm -f *.pre
@@ -18,6 +24,7 @@ Clean: clean
 %.pre: %.ly
 	sed " \
 	  s@%spezifisch%@$(SPEZIFISCH)@; \
+	  $(MIDI_REGEX); \
     /%$(STIMME)%/{ \
       s/%[A-Z]\+%//; \
       p; \
-- 
cgit v1.2.3-54-g00ecf