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