diff options
author | Erich Eckner <git@eckner.net> | 2017-12-10 10:38:32 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-12-10 10:38:32 +0100 |
commit | b463c1950bac316a95e57fa88723ee4acc9063f2 (patch) | |
tree | d8f210c10fa430ca60a7b7fed273ddaf8e2fe6b3 /Ich_freue_mich_im_Herrn | |
parent | 0f543e1fc46490916c8aeb508310d77c2280a199 (diff) | |
download | Musik-b463c1950bac316a95e57fa88723ee4acc9063f2.tar.xz |
Ich_freue_mich_im_Herrn, Ich_steh_an_deiner_Krippen_hier: midi nun per make-Schalter schaltbar
Diffstat (limited to 'Ich_freue_mich_im_Herrn')
-rw-r--r-- | Ich_freue_mich_im_Herrn/Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Ich_freue_mich_im_Herrn/Makefile b/Ich_freue_mich_im_Herrn/Makefile index ef6dedf..5b3af49 100644 --- a/Ich_freue_mich_im_Herrn/Makefile +++ b/Ich_freue_mich_im_Herrn/Makefile @@ -7,6 +7,12 @@ else # \#(set-global-staff-size 14) endif +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: @@ -16,8 +22,10 @@ Clean: clean rm -f *.pdf *.midi %.pre: %.ly - sed "s@%spezifisch%@$(SPEZIFISCH)@" "$<" > "$@" + sed " \ + s@%spezifisch%@$(SPEZIFISCH)@ ; \ + $(MIDI_REGEX) \ + " "$<" > "$@" %.pdf: %.pre *.ly lilypond $< - |