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