1 files changed, 0 insertions, 33 deletions
diff --git a/stats.sh b/stats.sh
deleted file mode 100755
index 3bb168e89..000000000
--- a/stats.sh
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/bin/sh
-
-# Generates statistics on pandoc: benchmarks and lines of code
-# The stats are put in the stats directory, marked with date and revision hash.
-
-STATSDIR=stats
-mkdir $STATSDIR
-
-DATE=`date +%Y_%m_%d`
-REV=`git rev-parse --short HEAD`
-
-EXT=$DATE.$REV
-BENCH=$STATSDIR/benchmark.$EXT
-LOC=$STATSDIR/loc.$EXT
-SUMMARY=$STATSDIR/summary.$EXT
-
-runghc Benchmark.hs > $BENCH
-find src -name '*.hs' | xargs wc -l > $LOC
-
-LOCSUM=`tail -1 $LOC | sed -Ee 's/^ *([0-9]+).*/\1/'`
-
-echo "Revision $REV" > $SUMMARY
-echo `date` >> $SUMMARY
-echo "$LOCSUM lines of code" >> $SUMMARY
-echo "" >> $SUMMARY
-
-sed -nEe '/^(benchmarking|mean:)/p' $BENCH | \
-  sed -Ee '/benchmarking/N;s/\n/: /' | \
-  sed -Ee 's/benchmarking (.*)/\1/' | \
-  sed -Ee 's/mean: ([^ ]*) *([^,]*).*/\1:\2/' | \
-  awk 'BEGIN { FS = ": *" } ; { printf("%s:%7.2f %s\n", $1, $2, $3); }' | \
-  column -t -s ":" >> $SUMMARY
-