changeset 21 | b7812497643a |
parent 8 | 15e6335ff1d4 |
child 29 | 15a43a691805 |
--- a/diagrams/scripts/find_all_diagrams.sh Mon Jun 30 13:02:57 2008 +0000 +++ b/diagrams/scripts/find_all_diagrams.sh Mon Jun 30 20:20:52 2008 +0000 @@ -3,7 +3,7 @@ do ./find_diagrams.sh $source done; -./find_diagrams.sh ../../sandbox.tex -./find_diagrams.sh ../../todolist.tex +#./find_diagrams.sh ../../sandbox.tex +#./find_diagrams.sh ../../todolist.tex ./find_diagrams.sh ../latex2pdf/defontify.tex cat diagrams.list