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