diagrams/latex2pdf/defontify.bat
changeset 29 15a43a691805
parent 27 8479b7be0fcc
equal deleted inserted replaced
28:f844cffa5c03 29:15a43a691805
     1 bash defontify.sh
     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