finished def of module morphisms; still need to define (yet another) 'evaluation' map
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;