summaryrefslogtreecommitdiff
path: root/Konzerte/2018_12_08
diff options
context:
space:
mode:
Diffstat (limited to 'Konzerte/2018_12_08')
-rw-r--r--Konzerte/2018_12_08/Makefile2
1 files changed, 1 insertions, 1 deletions
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