diff -r 88ec5e070f25 -r 8479b7be0fcc diagrams/latex2pdf/defontify.bat
--- 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