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;