8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
The scripts in this directory automatically build .eps files out of .pdf
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
files. You can ignore it if you're using pdflatex.
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
4 |
find_all_diagrams attempts to determine which diagrams are being
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
used, and creates the file diagrams.list
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
6 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
7 |
stripall creates small .eps files from the .pdf files named in
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
8 |
diagrams.list and extra_diagrams.list
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
9 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
10 |
If find_all_diagrams isn't finding everything you need, add things
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
11 |
by hand to extra_diagrams.list
|