diagrams/scripts/find_all_diagrams.sh
author Kevin Walker <kevin@canyon23.net>
Wed, 02 Jun 2010 08:43:12 -0700
changeset 320 4b64f9c6313f
parent 29 15a43a691805
permissions -rwxr-xr-x
Finished dealing with main issues in product thm proof; small issues still remain
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
rm diagrams.list
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
for source in `ls ../../text/*.tex`;
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
    do
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     4
        ./find_diagrams.sh $source
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     5
done;
29
15a43a691805 diagrams of associahedrons
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
     6
./find_diagrams.sh ../../blob1.tex
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
     7
#./find_diagrams.sh ../../sandbox.tex
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
     8
#./find_diagrams.sh ../../todolist.tex
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     9
./find_diagrams.sh ../latex2pdf/defontify.tex
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    10
cat diagrams.list