diagrams/scripts/README.txt
author kevin@6e1638ff-ae45-0410-89bd-df963105f760
Sun, 07 Feb 2010 01:48:03 +0000
changeset 202 93c3982c2cbf
parent 8 15e6335ff1d4
permissions -rw-r--r--
updated hard-coded version number at top of paper; this version to web

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