summaryrefslogtreecommitdiff
path: root/up_pdflatex
diff options
context:
space:
mode:
Diffstat (limited to 'up_pdflatex')
-rwxr-xr-xup_pdflatex10
1 files changed, 0 insertions, 10 deletions
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
-