gzip -c sample.eps > compressed.eps.gz
$PYTHON ../rubber.py $VERBOSE doc
$PYTHON ../rubber.py $VERBOSE doc
$PYTHON ../rubber.py $VERBOSE --clean doc
rm -f compressed.eps.gz
