author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Thu, 23 Jul 2009 22:13:48 +0000 | |
changeset 102 | 9e5716a79abe |
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;