--- 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;