diagrams/scripts/strippdf.sh
author Scott Morrison <scott@tqft.net>
Thu, 03 Jun 2010 23:08:47 -0700
changeset 338 adc0780aa5e7
parent 8 15e6335ff1d4
permissions -rwxr-xr-x
updating notation in intro, also deciding that not everything is a 'property'

gs -r2400 -dBATCH -dNOPAUSE -dSAFER -q -dNOCACHE -sDEVICE=epswrite -sOutputFile=temp1.eps ../pdf/$1.pdf
sed -e '/CreationDate/d' temp1.eps > temp2.eps
rm temp1.eps
mv temp2.eps ../eps/$1.eps