diagrams/scripts/strippdf.sh
changeset 375 faac9ca8f092
parent 374 abcbb32288b2
child 376 1ce74e992a72
equal deleted inserted replaced
374:abcbb32288b2 375:faac9ca8f092
     1 gs -r2400 -dBATCH -dNOPAUSE -dSAFER -q -dNOCACHE -sDEVICE=epswrite -sOutputFile=temp1.eps ../pdf/$1.pdf
       
     2 sed -e '/CreationDate/d' temp1.eps > temp2.eps
       
     3 rm temp1.eps
       
     4 mv temp2.eps ../eps/$1.eps