Generate reduced EPS files

gen_reduced_eps.sh

#!/bin/bash
# A script to generate reduced EPS files.
# Taken from http://electron.mit.edu/~gsteele/pdf/
#
epsfile=$1
pngfile=${epsfile/eps/png}
jpgfile=${epsfile/eps/jpg}
new_epsfile=reduced_${epsfile}

echo $new_epsfile

# Generate reduced png file from the original eps file.
gs -r300 -dEPSCrop -dTextAlphaBits=4 -sDEVICE=png16m -sOutputFile=$pngfile -dBATCH -dNOPAUSE $epsfile

# generate JPEG
convert -quality 80 $pngfile $jpgfile

# convert the JPEG to eps
convert $jpgfile eps2:${new_epsfile}

epstopdf ${new_epsfile}