From 46211a9a4d66e22f6d210b83b22ca7d9657005c2 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 25 Jun 2019 08:38:04 +0200
Subject: ignore errors of pkill in Makefiles

---
 Der_Morgenstern_ist_aufgedrungen/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Der_Morgenstern_ist_aufgedrungen')

diff --git a/Der_Morgenstern_ist_aufgedrungen/Makefile b/Der_Morgenstern_ist_aufgedrungen/Makefile
index 9bd0965..8e0b8b0 100644
--- a/Der_Morgenstern_ist_aufgedrungen/Makefile
+++ b/Der_Morgenstern_ist_aufgedrungen/Makefile
@@ -15,7 +15,7 @@ else
 endif
 
 all: $(CURDOC).pdf
-	pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<'
+	pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true
 
 clean:
 	rm -f *.pre
-- 
cgit v1.2.3-70-g09d2