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 /Ins_Wasser_faellt_ein_Stein/Makefile | |
parent | b33c29a576364ed3f1dc13e860e0874a6eb81bce (diff) | |
download | Musik-78ffef2972d2b4114c0604f4681670d6e976ece9.tar.xz |
*/Makefile: update mupdf-x11, too
Diffstat (limited to 'Ins_Wasser_faellt_ein_Stein/Makefile')
-rw-r--r-- | Ins_Wasser_faellt_ein_Stein/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ins_Wasser_faellt_ein_Stein/Makefile b/Ins_Wasser_faellt_ein_Stein/Makefile index cb66cc7..5906da7 100644 --- a/Ins_Wasser_faellt_ein_Stein/Makefile +++ b/Ins_Wasser_faellt_ein_Stein/Makefile @@ -19,4 +19,4 @@ include ../.meta/*.mk %.pdf: %.post lilypond $< - pkill -SIGHUP -xf "mupdf $@" || true + pkill -SIGHUP -xf "mupdf(-x11)? $@" || true |