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