diff -r 4ef2f77a4652 -r 15e6335ff1d4 diagrams/scripts/find_all_diagrams.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/diagrams/scripts/find_all_diagrams.sh	Thu Apr 24 02:56:34 2008 +0000
@@ -0,0 +1,9 @@
+rm diagrams.list
+for source in `ls ../../text/*.tex`;
+    do
+        ./find_diagrams.sh $source
+done;
+./find_diagrams.sh ../../sandbox.tex
+./find_diagrams.sh ../../todolist.tex
+./find_diagrams.sh ../latex2pdf/defontify.tex
+cat diagrams.list