adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
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;