diagrams/scripts/find_all_diagrams.sh
changeset 375 faac9ca8f092
parent 374 abcbb32288b2
child 376 1ce74e992a72
--- a/diagrams/scripts/find_all_diagrams.sh	Thu Jun 17 21:16:05 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-rm diagrams.list
-for source in `ls ../../text/*.tex`;
-    do
-        ./find_diagrams.sh $source
-done;
-./find_diagrams.sh ../../blob1.tex
-#./find_diagrams.sh ../../sandbox.tex
-#./find_diagrams.sh ../../todolist.tex
-./find_diagrams.sh ../latex2pdf/defontify.tex
-cat diagrams.list