From 4f86b7893551e91c8b8a2a55b44f2f0119dbab42 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 18 Jun 2019 09:10:58 +0200
Subject: add pkill to all Makefiles

---
 Auf_Bethlehems_Feldern/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Auf_Bethlehems_Feldern')

diff --git a/Auf_Bethlehems_Feldern/Makefile b/Auf_Bethlehems_Feldern/Makefile
index 3fa24ea..ca9dbe1 100644
--- a/Auf_Bethlehems_Feldern/Makefile
+++ b/Auf_Bethlehems_Feldern/Makefile
@@ -21,6 +21,7 @@ else
 endif
 
 all: $(CURDOC).pdf
+	pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<'
 
 clean:
 	rm -f *.pre
-- 
cgit v1.2.3-70-g09d2