diff --git a/src/tools/make/buildall.pl b/src/tools/make/buildall.pl
index c9d95b4b..495fdc2b 100755
--- a/src/tools/make/buildall.pl
+++ b/src/tools/make/buildall.pl
@@ -7,13 +7,13 @@ use Cwd;
 my $branch = "v2docs";
 
 my %machines = (
-#  "pi"     => ['pi@pie',         "sudo", "projects/oberon/vishap/voc"],
-#  "darwin" => ['dave@dcb',       "sudo", "projects/oberon/vishap/voc"],
-#  "lub32"  => ['dave@lub32',     "sudo", "vishap/voc"],
-#  "ob32"   => ['root@nas-ob32',  "",     "vishap/voc"],
-#  "ce64"   => ['-p5922 obe@www', "sudo", "vishap/voc"],
-#  "ub64"   => ['dave@nas-ub64',  "sudo", "vishap/voc"],
-   "fb64"   => ['root@oberon',    "",     "vishap/voc"]
+  "pi"     => ['pi@pie',         "sudo", "projects/oberon/vishap/voc"],
+  "darwin" => ['dave@dcb',       "sudo", "projects/oberon/vishap/voc"],
+  "lub32"  => ['dave@lub32',     "sudo", "vishap/voc"],
+  "ob32"   => ['root@nas-ob32',  "",     "vishap/voc"],
+  "ce64"   => ['-p5922 obe@www', "sudo", "vishap/voc"],
+  "ub64"   => ['dave@nas-ub64',  "sudo", "vishap/voc"],
+  "fb64"   => ['root@oberon',    "",     "vishap/voc"]
 );
 
 
diff --git a/src/tools/make/postpush.pl b/src/tools/make/postpush.pl
index e2c275d9..8916e0d1 100755
--- a/src/tools/make/postpush.pl
+++ b/src/tools/make/postpush.pl
@@ -38,6 +38,7 @@ if ($child) {
 } else {
   close(STDIN); close(STDOUT); close(STDERR);  # child process
   unlink "buildall.pl";
+  sleep 5;  # Leave time for the push to complete. (Yuk!)
   system 'wget https://raw.githubusercontent.com/vishaps/voc/v2docs/src/tools/make/buildall.pl';
   exec 'perl buildall.pl >/tmp/buildall.log';
   exit;