diff -r 16d7f0938baa -r 071ec509ec4a diagrams/latex2pdf/defontify.sh
--- a/diagrams/latex2pdf/defontify.sh	Sun Jun 07 00:51:00 2009 +0000
+++ b/diagrams/latex2pdf/defontify.sh	Sun Jun 07 18:40:39 2009 +0000
@@ -1,4 +1,4 @@
-latex defontify
-dvips -R0 defontify
-ps2pdf defontify.ps
-gs -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit
+latex defontify
+dvips -R0 defontify
+ps2pdf defontify.ps
+gs -r9600 -sDEVICE=pswrite -dNOCACHE -sOutputFile=nofonts.ps -q -dbatch -dNOPAUSE defontify.pdf -c quit