diff -r 60a068a5be10 -r b7812497643a diagrams/scripts/find_all_diagrams.sh
--- a/diagrams/scripts/find_all_diagrams.sh	Mon Jun 30 13:02:57 2008 +0000
+++ b/diagrams/scripts/find_all_diagrams.sh	Mon Jun 30 20:20:52 2008 +0000
@@ -3,7 +3,7 @@
     do
         ./find_diagrams.sh $source
 done;
-./find_diagrams.sh ../../sandbox.tex
-./find_diagrams.sh ../../todolist.tex
+#./find_diagrams.sh ../../sandbox.tex
+#./find_diagrams.sh ../../todolist.tex
 ./find_diagrams.sh ../latex2pdf/defontify.tex
 cat diagrams.list