$PYTHON ../rubber-pipe.py $VERBOSE -d <doc.tex >doc.pdf
[ $(head -c 4 doc.pdf) = %PDF ]
rm doc.pdf
