diff -r 77b0cdeb0fcd -r 217b6a870532 diagrams/latex2pdf/defontify.bat
--- a/diagrams/latex2pdf/defontify.bat	Thu Mar 18 19:40:46 2010 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-latex defontify
-dvips -R0 defontify
-ps2pdf defontify.ps
-gs-native -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit