changeset 27 | 8479b7be0fcc |
parent 8 | 15e6335ff1d4 |
child 29 | 15a43a691805 |
--- a/diagrams/latex2pdf/defontify.bat Wed Jul 02 04:50:53 2008 +0000 +++ b/diagrams/latex2pdf/defontify.bat Thu Jul 03 00:08:33 2008 +0000 @@ -1,4 +1,1 @@ -latex defontify -dvips -R0 defontify -ps2pdf defontify.ps -gs -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit +bash defontify.sh