diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-07 22:36:39 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-07 22:36:39 +0100 |
| commit | 826bf10776e69e387fe341a7f49bbde2b33f780d (patch) | |
| tree | 7a06dec89285a6d2125a432d3604154d7be03fd1 | |
| parent | 06bebd58b7f52e4f4d8e4c5ddf0e7ecdd545f5cc (diff) | |
| download | Musik-826bf10776e69e387fe341a7f49bbde2b33f780d.tar.xz | |
Tischgemeinschaft: Papiergröße in make festlegen
| -rwxr-xr-x | Tischgemeinschaft/make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tischgemeinschaft/make b/Tischgemeinschaft/make index 59ea8e9..9d12dcc 100755 --- a/Tischgemeinschaft/make +++ b/Tischgemeinschaft/make @@ -52,7 +52,7 @@ do ' Makefile | \ tr ' ' '\n' | \ grep '\.pre$' | \ - xargs -r make ${params} "$@" + xargs -r make ${params} 'SPEZIFISCH=\#(set-default-paper-size \"a6\")\n\#(set-global-staff-size 14.55)' "$@" ) done |