author | scott@6e1638ff-ae45-0410-89bd-df963105f760 |
Wed, 04 Feb 2009 06:03:43 +0000 | |
changeset 56 | 82eadbcef096 |
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