--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/diagrams/scripts/stripall.sh Thu Apr 24 02:56:34 2008 +0000
@@ -0,0 +1,19 @@
+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;