diff options
| author | Erich Eckner <git@eckner.net> | 2016-10-24 21:53:00 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-10-24 21:53:00 +0200 |
| commit | 22453e67d099cd47122801d295b99fa645790271 (patch) | |
| tree | 6cac85f528f33b137089011a88d882cfccb537b5 /wo | |
| parent | 925a68301158f883dbbf807ecc88732d7af131d2 (diff) | |
| download | Musik-22453e67d099cd47122801d295b99fa645790271.tar.xz | |
kleine Systeme für Hauke
Diffstat (limited to 'wo')
| -rw-r--r-- | wo/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wo/Makefile b/wo/Makefile index 091a052..5822d0b 100644 --- a/wo/Makefile +++ b/wo/Makefile @@ -3,7 +3,7 @@ CURDOC=$(shell basename "$(CURDIR)") ifeq ($(FUER),ewe) SPEZIFISCH=\#(set! paper-alist (cons '(\"kindle\" . (cons (* 210 mm) (* 130 mm))) paper-alist))\n\#(set-default-paper-size \"kindle\") else - SPEZIFISCH= + SPEZIFISCH=\#(set-global-staff-size 14) endif all: $(CURDOC).pdf |