diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-28 22:37:05 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-28 22:37:05 +0100 |
| commit | 78ffef2972d2b4114c0604f4681670d6e976ece9 (patch) | |
| tree | 421a03aaf889fdce3099a2b5155a9ae31e85f7a0 /Ein_Wandervolk/Makefile | |
| parent | b33c29a576364ed3f1dc13e860e0874a6eb81bce (diff) | |
| download | Musik-78ffef2972d2b4114c0604f4681670d6e976ece9.tar.xz | |
*/Makefile: update mupdf-x11, too
Diffstat (limited to 'Ein_Wandervolk/Makefile')
| -rw-r--r-- | Ein_Wandervolk/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ein_Wandervolk/Makefile b/Ein_Wandervolk/Makefile index cb66cc7..5906da7 100644 --- a/Ein_Wandervolk/Makefile +++ b/Ein_Wandervolk/Makefile @@ -19,4 +19,4 @@ include ../.meta/*.mk %.pdf: %.post lilypond $< - pkill -SIGHUP -xf "mupdf $@" || true + pkill -SIGHUP -xf "mupdf(-x11)? $@" || true |