diagrams/scripts/find_all_diagrams.sh
author Scott Morrison <scott@tqft.net>
Thu, 27 May 2010 14:15:19 -0700
changeset 281 630ceb40a07b
parent 29 15a43a691805
permissions -rwxr-xr-x
removing 'explicit' families of diffeos partial proof

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