$PYTHON ../rubber.py $VERBOSE doc.tex
status=0
grep fig2dev-path figure.eps || status=$?
test $status = 1                # No match.
$PYTHON ../rubber.py $VERBOSE doc.tex --clean
