1 files changed, 6 insertions, 0 deletions

diff --git a/all.do b/all.do
new file mode 100644
index 0000000..3912ce6
--- /dev/null
+++ b/all.do
@@ -0,0 +1,6 @@
+#!/bin/sh
+for dir in *; do
+  if test -d $dir; then
+    (cd $dir && redo)
+  fi
+done