diagrams/scripts/README.txt
author Kevin Walker <kevin@canyon23.net>
Mon, 31 May 2010 12:44:19 -0700
changeset 310 ee7be19ee61a
parent 8 15e6335ff1d4
permissions -rw-r--r--
converting sphere axiom to a proposition; still need to make similar changes in module axioms

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