From ca41eddfdc979955105cce572e659941544d6f6d Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Thu, 9 Oct 2014 20:44:15 +0100
Subject: alles neu macht der mai

---
 up_pdflatex | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 up_pdflatex

(limited to 'up_pdflatex')

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
+
-- 
cgit v1.2.3