Remove push-all from file list in boot script (push-all no longer exists)

diff --git a/boot b/boot
index 39e8cd1..339f21d 100644 (file)
--- a/boot
+++ b/boot
@@ -54,7 +54,7 @@ foreach $dir (".", glob("libraries/*/")) {
 }
 
 # Alas, darcs doesn't handle file permissions, so fix a few of them.
-for my $file ("boot", "darcs-all", "push-all", "validate") {
+for my $file ("boot", "darcs-all", "validate") {
     chmod 0755, $file if -f $file
         or die "Can't chmod 0755 $file: $!";
 }