author | scott@6e1638ff-ae45-0410-89bd-df963105f760 |
Tue, 22 Dec 2009 21:18:07 +0000 | |
changeset 194 | 8d3f0bc6a76e |
parent 8 | 15e6335ff1d4 |
permissions | -rw-r--r-- |
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