diff -r e15ad788718d -r abcbb32288b2 diagrams/latex2pdf/README.txt --- a/diagrams/latex2pdf/README.txt Thu Jun 17 20:53:09 2010 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,3 +0,0 @@ -*Create defontify.tex containing the latex you want. -*Run defontify.bat. -*Open nofonts.ps in Illustrator, and copy the pieces you want over to the .pdf you're working on.