From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 5 Mar 2013 20:11:54 +0000 (+0100)
Subject: Remove now useless script.
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba-papers.git/commitdiff_plain/10b6424b0675402b61ffbd0fc1bc277ea739ae34?ds=inline

Remove now useless script.
---

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