util/hscolour_srcs

   1 #!/bin/bash
   2 #
   3 # hscolour_srcs
   4 #
   5 # Called from the makefile to generate colourised source HTML which is
   6 # then used by Haddock.
   7 #
   8
   9 # Find all source files. The way we do this is important, because of
  10 # the dirname and basename invocations below. The paths here must
  11 # coincide with the ones passed to 'haddock' in the makefile.
  12 SRCS=`find ./src -iname '*.hs'`
  13
  14 for file in $SRCS; do
  15     DIRNAME=`dirname $file`
  16     BASENAME=`basename $file .hs`
  17     OUTDIR="dist/doc/html/spline3/spline3/${DIRNAME}/"
  18     mkdir -p "${OUTDIR}"
  19     OUTFILE="${OUTDIR}/${BASENAME}.html"
  20     HsColour -html -anchor $file > $OUTFILE
  21 done