diagrams/scripts/find_all_diagrams.sh
changeset 8 15e6335ff1d4
child 21 b7812497643a
--- /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