diagrams/scripts/README.txt
author kevin@6e1638ff-ae45-0410-89bd-df963105f760
Tue, 26 Aug 2008 23:13:07 +0000
changeset 44 1b9b2aab1f35
parent 8 15e6335ff1d4
permissions -rw-r--r--
done (for now) revising proof of eval map stuff.

The scripts in this directory automatically build .eps files out of .pdf
files. You can ignore it if you're using pdflatex.

find_all_diagrams attempts to determine which diagrams are being
used, and creates the file diagrams.list

stripall creates small .eps files from the .pdf files named in
diagrams.list and extra_diagrams.list

If find_all_diagrams isn't finding everything you need, add things
by hand to extra_diagrams.list