#!/bin/sh /usr/bin/pdflatex $1 if [ $? -eq 0 ]; then if [ -e .mupdf.pid ]; then kill -1 $(cat .mupdf.pid) fi fi