alles neu macht der mai

1 files changed, 10 insertions, 0 deletions

diff --git a/up_pdflatex b/up_pdflatex
new file mode 100755
index 0000000..b9b141b
--- /dev/null
+++ b/up_pdflatex
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+/usr/bin/pdflatex $1
+
+if [ $? -eq 0 ]; then
+if [ -e .mupdf.pid ]; then
+  kill -1 $(cat .mupdf.pid)
+fi
+fi
+