8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
for diagram in `cat diagrams.list`;
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
do
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
if [ ../pdf/$diagram.pdf -nt ../eps/$diagram.eps ]; then
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
4 |
echo "*** stripping $diagram";
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
./strippdf.sh $diagram;
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
6 |
else
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
7 |
echo "$diagram is up to date"
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
8 |
fi
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
9 |
done;
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
10 |
dos2unix extra_diagrams.list
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
11 |
for diagram in `cat extra_diagrams.list`;
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
12 |
do
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
13 |
if [ ../pdf/$diagram.pdf -nt ../eps/$diagram.eps ]; then
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
14 |
echo "*** stripping $diagram";
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
15 |
./strippdf.sh $diagram;
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
16 |
else
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
17 |
echo "$diagram is up to date"
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
18 |
fi
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
19 |
done;
|