1 files changed, 11 insertions, 0 deletions
diff --git a/pdflatexup b/pdflatexup
new file mode 100755
index 0000000..19b755d
--- /dev/null
+++ b/pdflatexup
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+
+/usr/bin/pdflatex $1
+
+if [ $? -eq 0 ]; then
+if [ -e .mupdf.pid ]; then
+  kill -1 $(cat .mupdf.pid)
+fi
+fi
+