diff -r 4ef2f77a4652 -r 15e6335ff1d4 diagrams/scripts/README.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/diagrams/scripts/README.txt	Thu Apr 24 02:56:34 2008 +0000
@@ -0,0 +1,11 @@
+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