summaryrefslogtreecommitdiff
path: root/Ich_sing_dir_mein_Lied
diff options
context:
space:
mode:
Diffstat (limited to 'Ich_sing_dir_mein_Lied')
-rw-r--r--Ich_sing_dir_mein_Lied/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Ich_sing_dir_mein_Lied/Makefile b/Ich_sing_dir_mein_Lied/Makefile
index 5b3af49..7ae7512 100644
--- a/Ich_sing_dir_mein_Lied/Makefile
+++ b/Ich_sing_dir_mein_Lied/Makefile
@@ -14,6 +14,7 @@ else
endif
all: $(CURDOC).pdf
+ pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<'
clean:
rm -f *.pre