rubber-pipe -k <doc.tex >/dev/null
rm rubtmp*tex
rm rubtmp*
