Remove the hscolour_srcs script, praying that Cabal/Haddock get it right soon.

diff --git a/util/hscolour_srcs b/util/hscolour_srcs
deleted file mode 100755 (executable)
index cf910c5..0000000
--- a/util/hscolour_srcs
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/bash
-#
-# hscolour_srcs
-#
-# Called from the makefile to generate colourised source HTML which is
-# then used by Haddock.
-#
-
-# Find all source files. The way we do this is important, because of
-# the dirname and basename invocations below. The paths here must
-# coincide with the ones passed to 'haddock' in the makefile.
-SRCS=`find ./src -iname '*.hs'`
-
-for file in $SRCS; do
-    DIRNAME=`dirname $file`
-    BASENAME=`basename $file .hs`
-    OUTDIR="dist/doc/html/spline3/spline3/${DIRNAME}/"
-    mkdir -p "${OUTDIR}"
-    OUTFILE="${OUTDIR}/${BASENAME}.html"
-    HsColour -html -anchor $file > $OUTFILE
-done