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