if ! $PYTHON ../rubber-pipe.py $VERBOSE -k <doc.tex > tmp; then
    cat tmp
    exit 1
fi
rm tmp
rm rubtmp*tex
rm rubtmp*
