--- a/diagrams/scripts/strippdf.sh	Thu Jun 17 21:16:05 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-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