diff options
| author | Erich Eckner <git@eckner.net> | 2017-12-10 10:43:00 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-12-10 10:43:00 +0100 |
| commit | e4e2d8e648c3c4ffaab7e297b9b9d013f4493302 (patch) | |
| tree | 85a34b3610856058fcf0883f2257360edfa56aa1 /Der_Morgenstern_ist_aufgedrungen | |
| parent | b463c1950bac316a95e57fa88723ee4acc9063f2 (diff) | |
| download | Musik-e4e2d8e648c3c4ffaab7e297b9b9d013f4493302.tar.xz | |
Der_Morgenstern_ist_aufgedrungen: midi nun per make-Schalter schaltbar
Diffstat (limited to 'Der_Morgenstern_ist_aufgedrungen')
| -rw-r--r-- | Der_Morgenstern_ist_aufgedrungen/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
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; \ |