diagrams/latex2pdf/defontify.bat
changeset 222 217b6a870532
parent 221 77b0cdeb0fcd
child 223 243f84172720
equal deleted inserted replaced
221:77b0cdeb0fcd 222:217b6a870532
     1 latex defontify
       
     2 dvips -R0 defontify
       
     3 ps2pdf defontify.ps
       
     4 gs-native -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit