From 10b6424b0675402b61ffbd0fc1bc277ea739ae34 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 5 Mar 2013 21:11:54 +0100
Subject: [PATCH] Remove now useless script.

---
 supercomp11/data/split-allgraphs | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 supercomp11/data/split-allgraphs

diff --git a/supercomp11/data/split-allgraphs b/supercomp11/data/split-allgraphs
deleted file mode 100755
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
-- 
2.39.5