diff options
Diffstat (limited to 'Konzerte')
-rw-r--r-- | Konzerte/2018_05_26/Makefile | 2 | ||||
-rw-r--r-- | Konzerte/2018_12_08/Makefile | 2 | ||||
-rw-r--r-- | Konzerte/2019_05_18/Makefile | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/Konzerte/2018_05_26/Makefile b/Konzerte/2018_05_26/Makefile index cd1c08b..acbd481 100644 --- a/Konzerte/2018_05_26/Makefile +++ b/Konzerte/2018_05_26/Makefile @@ -8,7 +8,7 @@ else endif all: alles.pdf - pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true clean: rm -f *.pre diff --git a/Konzerte/2018_12_08/Makefile b/Konzerte/2018_12_08/Makefile index 0506bf2..bad28d6 100644 --- a/Konzerte/2018_12_08/Makefile +++ b/Konzerte/2018_12_08/Makefile @@ -8,7 +8,7 @@ else endif all: alles.pdf - pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true clean: rm -f *.pre diff --git a/Konzerte/2019_05_18/Makefile b/Konzerte/2019_05_18/Makefile index e2b53e0..2a6a9f6 100644 --- a/Konzerte/2019_05_18/Makefile +++ b/Konzerte/2019_05_18/Makefile @@ -8,7 +8,7 @@ else endif all: alles.pdf - pkill -SIGHUP mupdf + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true clean: rm -f *.pre |