--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/diagrams/scripts/strippdf.sh	Thu Apr 24 02:56:34 2008 +0000
@@ -0,0 +1,4 @@
+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