From 35b9e3c87866d956c1ffd34ec5f4823947f51fc2 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 22 Aug 2012 14:40:18 -0400
Subject: [PATCH] Remove the hscolour_srcs script, praying that Cabal/Haddock
 get it right soon.

---
 util/hscolour_srcs | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100755 util/hscolour_srcs

diff --git a/util/hscolour_srcs b/util/hscolour_srcs
deleted file mode 100755
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
-- 
2.43.2