author | scott@6e1638ff-ae45-0410-89bd-df963105f760 |
Mon, 26 Oct 2009 05:39:29 +0000 | |
changeset 134 | 395bd663e20d |
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;