diagrams/scripts/find_all_diagrams.sh
author scott@6e1638ff-ae45-0410-89bd-df963105f760
Sun, 08 Jun 2008 21:34:46 +0000
changeset 15 7340ab80db25
parent 8 15e6335ff1d4
child 21 b7812497643a
permissions -rwxr-xr-x
rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
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;
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     6
./find_diagrams.sh ../../sandbox.tex
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     7
./find_diagrams.sh ../../todolist.tex
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     8
./find_diagrams.sh ../latex2pdf/defontify.tex
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     9
cat diagrams.list