Remove now useless script.

diff --git a/supercomp11/data/split-allgraphs b/supercomp11/data/split-allgraphs
deleted file mode 100755 (executable)
index b414175..0000000
--- a/supercomp11/data/split-allgraphs
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-
-set -e
-
-make allgraphs.pdf
-
-mkdir -vp graphs
-cd graphs
-
-echo "Separate pages..."
-pdfseparate ../allgraphs.pdf g-%d.pdf || true
-
-for f in g-[0-9]*.pdf; do
-    n=$(pdftotext $f - | sed '\,/,!d;s, / ,-,g').pdf
-    mv -v $f $n
-done