pdflatexup


1
2
3
4
5
6
7
8
9
10
11

#!/bin/sh


/usr/bin/pdflatex $1

if [ $? -eq 0 ]; then
if [ -e .mupdf.pid ]; then
  kill -1 $(cat .mupdf.pid)
fi
fi