author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Fri, 05 Jun 2009 16:10:37 +0000 | |
changeset 70 | 5ab0e6f0d89e |
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