Fix up output.

2024-01-01 23:20:23 -08:00
parent 2980458eff
commit c9742cebf8
1 changed files with 1 additions and 1 deletions
--- 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'),
 ]))