diff -r f844cffa5c03 -r 15a43a691805 diagrams/latex2pdf/defontify.bat
--- a/diagrams/latex2pdf/defontify.bat	Thu Jul 03 00:08:58 2008 +0000
+++ b/diagrams/latex2pdf/defontify.bat	Fri Jul 04 00:07:02 2008 +0000
@@ -1,1 +1,4 @@
-bash defontify.sh
+latex defontify
+dvips -R0 defontify
+ps2pdf defontify.ps
+gs-native -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit