X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=util%2Fhscolour_srcs;fp=util%2Fhscolour_srcs;h=0000000000000000000000000000000000000000;hb=35b9e3c87866d956c1ffd34ec5f4823947f51fc2;hp=cf910c55d840092c74252b93ba613f4ec8e12006;hpb=9ec7fbe55880642bedc7ab0be0b5c2688db4c7bd;p=spline3.git

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