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