author | kevin@6e1638ff-ae45-0410-89bd-df963105f760 |
Tue, 24 Jun 2008 19:46:06 +0000 | |
changeset 17 | c73e8beb4a20 |
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;