author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Fri, 23 Oct 2009 04:12:41 +0000 | |
changeset 133 | 7a880cdaac70 |
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