diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-10-19 13:32:08 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-10-19 13:32:08 +0000 |
| commit | 9c57dc586394c178c848ee8fb5618a2cb807912e (patch) | |
| tree | 77221c5c6639092f43a0b5495cb997b506d27f84 /libraries/gen_contents_index | |
| parent | f5baf549bcd4b835fdc8e0ce00b854f522464e68 (diff) | |
| download | haskell-9c57dc586394c178c848ee8fb5618a2cb807912e.tar.gz | |
Add dph haddock docs to the doc index
Diffstat (limited to 'libraries/gen_contents_index')
| -rw-r--r-- | libraries/gen_contents_index | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index index db1856888c..2f33fc4fc4 100644 --- a/libraries/gen_contents_index +++ b/libraries/gen_contents_index @@ -9,6 +9,10 @@ case $* in --inplace) HADDOCK=../utils/haddock/install-inplace/bin/haddock HADDOCK_FILES=`ls -1 */dist/doc/html/*/*.haddock | sort` + if [ -d dph ] + then + HADDOCK_FILES="$HADDOCK_FILES `ls -1 dph/*/dist/doc/html/*/*.haddock | sort`" + fi ;; *) HADDOCK=../../../../bin/haddock @@ -19,7 +23,7 @@ esac for HADDOCK_FILE in $HADDOCK_FILES do - NAME=`echo "$HADDOCK_FILE" | sed 's#/.*##'` + NAME=` echo "$HADDOCK_FILE" | sed 's#/dist/.*##' | sed 's#.*/##' ` HADDOCK_ARGS="$HADDOCK_ARGS --read-interface=$NAME,$HADDOCK_FILE" NAMES="$NAMES $NAME" done |