diff -r f844cffa5c03 -r 15a43a691805 diagrams/scripts/find_all_diagrams.sh --- a/diagrams/scripts/find_all_diagrams.sh Thu Jul 03 00:08:58 2008 +0000 +++ b/diagrams/scripts/find_all_diagrams.sh Fri Jul 04 00:07:02 2008 +0000 @@ -3,6 +3,7 @@ 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