diagrams/scripts/README.txt
changeset 375 faac9ca8f092
parent 374 abcbb32288b2
child 376 1ce74e992a72
equal deleted inserted replaced
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