diff -r 4ef2f77a4652 -r 15e6335ff1d4 diagrams/scripts/stripall.sh
--- /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;