diagrams/scripts/README.txt
author kevin@6e1638ff-ae45-0410-89bd-df963105f760
Sun, 26 Oct 2008 03:57:55 +0000
changeset 46 0ffcbbd8019c
parent 8 15e6335ff1d4
permissions -rw-r--r--
minor cleanup of the start of the hochschild section

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