diagrams/scripts/find_all_diagrams.sh
author Scott Morrison <scott@tqft.net>
Thu, 03 Jun 2010 23:08:47 -0700
changeset 338 adc0780aa5e7
parent 29 15a43a691805
permissions -rwxr-xr-x
updating notation in intro, also deciding that not everything is a 'property'

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