changeset 375 | faac9ca8f092 |
parent 374 | abcbb32288b2 |
child 376 | 1ce74e992a72 |
--- 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