From c9742cebf8ed4b8bc34062c0c2fc37f471d21235 Mon Sep 17 00:00:00 2001 From: Brad Nelson Date: Mon, 1 Jan 2024 23:20:23 -0800 Subject: [PATCH] Fix up output. --- site/BUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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'), ]))