changeset 375 | faac9ca8f092 |
parent 374 | abcbb32288b2 |
child 376 | 1ce74e992a72 |
374:abcbb32288b2 | 375:faac9ca8f092 |
---|---|
1 The scripts in this directory automatically build .eps files out of .pdf |
|
2 files. You can ignore it if you're using pdflatex. |
|
3 |
|
4 find_all_diagrams attempts to determine which diagrams are being |
|
5 used, and creates the file diagrams.list |
|
6 |
|
7 stripall creates small .eps files from the .pdf files named in |
|
8 diagrams.list and extra_diagrams.list |
|
9 |
|
10 If find_all_diagrams isn't finding everything you need, add things |
|
11 by hand to extra_diagrams.list |