From 3c1b8d5c8947bf0aa3e929c21f59eaf06aba33af Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Thu, 14 Apr 2016 17:30:30 +0200
Subject: more general monitor_soft_raid

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

(limited to 'up_pdflatex')

diff --git a/up_pdflatex b/up_pdflatex
deleted file mode 100755
index b9b141b..0000000
--- a/up_pdflatex
+++ /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