path: root/up_pdflatex

#!/bin/sh

/usr/bin/pdflatex $1

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