diagrams/scripts/strippdf.sh
author kevin@6e1638ff-ae45-0410-89bd-df963105f760
Tue, 26 Aug 2008 23:13:07 +0000
changeset 44 1b9b2aab1f35
parent 8 15e6335ff1d4
permissions -rwxr-xr-x
done (for now) revising proof of eval map stuff.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
gs -r2400 -dBATCH -dNOPAUSE -dSAFER -q -dNOCACHE -sDEVICE=epswrite -sOutputFile=temp1.eps ../pdf/$1.pdf
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
sed -e '/CreationDate/d' temp1.eps > temp2.eps
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
rm temp1.eps
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     4
mv temp2.eps ../eps/$1.eps