diagrams/latex2pdf/defontify.bat
author scott@6e1638ff-ae45-0410-89bd-df963105f760
Mon, 30 Jun 2008 20:20:52 +0000
changeset 21 b7812497643a
parent 8 15e6335ff1d4
child 27 8479b7be0fcc
permissions -rw-r--r--
...
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
latex defontify
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
dvips -R0 defontify
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
ps2pdf defontify.ps
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     4
gs -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit