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