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

---
 pdflatexup | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 pdflatexup

(limited to 'pdflatexup')

diff --git a/pdflatexup b/pdflatexup
deleted file mode 100755
index b9b141b..0000000
--- a/pdflatexup
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/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