From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 22 Aug 2012 18:40:18 +0000 (-0400)
Subject: Remove the hscolour_srcs script, praying that Cabal/Haddock get it right soon.
X-Git-Tag: 0.0.1~39
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=35b9e3c87866d956c1ffd34ec5f4823947f51fc2;p=spline3.git

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
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