diff -r e15ad788718d -r abcbb32288b2 diagrams/latex2pdf/defontify.sh
--- a/diagrams/latex2pdf/defontify.sh	Thu Jun 17 20:53:09 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-latex defontify
-dvips -R0 defontify
-ps2pdf defontify.ps
-gs -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit