diff -r abcbb32288b2 -r faac9ca8f092 diagrams/scripts/README.txt
--- a/diagrams/scripts/README.txt	Thu Jun 17 21:16:05 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-The scripts in this directory automatically build .eps files out of .pdf
-files. You can ignore it if you're using pdflatex.
-
-find_all_diagrams attempts to determine which diagrams are being
-used, and creates the file diagrams.list
-
-stripall creates small .eps files from the .pdf files named in
-diagrams.list and extra_diagrams.list
-
-If find_all_diagrams isn't finding everything you need, add things
-by hand to extra_diagrams.list