author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Tue, 23 Feb 2010 05:49:12 +0000 | |
changeset 211 | ef127ac682bd |
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;