diff options
| author | Patrick Simianer <p@simianer.de> | 2014-10-09 20:44:15 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-10-09 20:44:15 +0100 |
| commit | ca41eddfdc979955105cce572e659941544d6f6d (patch) | |
| tree | bf446902e8323e58c6fc14dce808b9719da7d3f6 /pdflatexup | |
| parent | 0aae427eb3838297f6e204c2961739ef834762cf (diff) | |
alles neu macht der mai
Diffstat (limited to 'pdflatexup')
| -rwxr-xr-x | pdflatexup | 10 |
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 - |