Remove now-useless script.

1 files changed, 0 insertions, 15 deletions

diff --git a/publish-benchmark b/publish-benchmark
deleted file mode 100755
index 0ff8a01e..00000000
--- a/publish-benchmark
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-
-set -e
-
-die()
-{
-    echo "$@" 1>&2
-    exit 1
-}
-
-[ "$#" = 1 ] || die "Usage: $0 wikidir"
-
-wiki="$1"
-
-./report-benchmark "$wiki/obnam/benchmarks"/*.seivot