diff --git a/site/BUILD b/site/BUILD
index 08da4bd..7ce0940 100644
--- a/site/BUILD
+++ b/site/BUILD
@@ -120,5 +120,5 @@ Alias('publish', ' '.join([
       '$src/tools/publish.py',
     ] + PUBLISH_PARTS),
     '$src/tools/webindex.py >$dst/gen/archive.html && ' +
-    '$src/tools/publish.py --src $dst/gen/archive.html --dst archive.html'),
+    '$src/tools/publish.py --src $dst/gen/archive.html --dst archive.html 2>&1 | cat >/dev/null'),
 ]))