diff -r abcbb32288b2 -r faac9ca8f092 diagrams/scripts/stripall.sh
--- a/diagrams/scripts/stripall.sh	Thu Jun 17 21:16:05 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-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;