diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-22 12:05:12 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-22 12:05:12 +0100 |
| commit | 2221fde48fb68ec9c3746100c5bf6b07f617ce40 (patch) | |
| tree | e4d05a2a1b7f53e6db4ee38b7476dd40ebf6a99e /Jerusalem | |
| parent | 85266788896099daf4e50790542780d0f5e14f84 (diff) | |
| download | Musik-2221fde48fb68ec9c3746100c5bf6b07f617ce40.tar.xz | |
make Makefiles less diverse
Diffstat (limited to 'Jerusalem')
| -rw-r--r-- | Jerusalem/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jerusalem/Makefile b/Jerusalem/Makefile index 4216ee9..ffb849e 100644 --- a/Jerusalem/Makefile +++ b/Jerusalem/Makefile @@ -1,5 +1,5 @@ CURDOC=$(shell basename "$(CURDIR)") -STROPHEN=[1-3] +STROPHEN=[^%] VARIANTE=1 ifeq ($(MIDI),1) |