From: Michael Orlitzky 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