From 5869505d64c04c536bdcd71a197ade918c36bf1c Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Sun, 10 Aug 2014 11:19:38 +0100
Subject: init

---
 pdflatexup | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 pdflatexup

(limited to 'pdflatexup')

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