diagrams/scripts/strippdf.sh
changeset 8 15e6335ff1d4
equal deleted inserted replaced
7:4ef2f77a4652 8:15e6335ff1d4
       
     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