author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Tue, 28 Jul 2009 18:52:39 +0000 | |
changeset 107 | 60bb1039be50 |
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