author | scott@6e1638ff-ae45-0410-89bd-df963105f760 |
Tue, 01 Jul 2008 01:53:15 +0000 | |
changeset 22 | ada83e7228eb |
parent 8 | 15e6335ff1d4 |
permissions | -rwxr-xr-x |
for diagram in `cat diagrams.list`; do if [ ../pdf/$diagram.pdf -nt ../eps/$diagram.eps ]; then echo "*** stripping $diagram"; ./strippdf.sh $diagram; else echo "$diagram is up to date" fi done; dos2unix extra_diagrams.list for diagram in `cat extra_diagrams.list`; do if [ ../pdf/$diagram.pdf -nt ../eps/$diagram.eps ]; then echo "*** stripping $diagram"; ./strippdf.sh $diagram; else echo "$diagram is up to date" fi done;