diagrams/scripts/find_all_diagrams.sh
author kevin@6e1638ff-ae45-0410-89bd-df963105f760
Tue, 29 Jul 2008 22:37:25 +0000
changeset 42 9744833c9b90
parent 29 15a43a691805
permissions -rwxr-xr-x
some improvements to c-star-diff section; probably a few more changes will follow soon

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