diff options
-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; \ |