equal
deleted
inserted
replaced
1 for diagram in `cat diagrams.list`; |
|
2 do |
|
3 if [ ../pdf/$diagram.pdf -nt ../eps/$diagram.eps ]; then |
|
4 echo "*** stripping $diagram"; |
|
5 ./strippdf.sh $diagram; |
|
6 else |
|
7 echo "$diagram is up to date" |
|
8 fi |
|
9 done; |
|
10 dos2unix extra_diagrams.list |
|
11 for diagram in `cat extra_diagrams.list`; |
|
12 do |
|
13 if [ ../pdf/$diagram.pdf -nt ../eps/$diagram.eps ]; then |
|
14 echo "*** stripping $diagram"; |
|
15 ./strippdf.sh $diagram; |
|
16 else |
|
17 echo "$diagram is up to date" |
|
18 fi |
|
19 done; |
|