summaryrefslogtreecommitdiff
path: root/libraries/gen_contents_index
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2008-11-16 17:41:22 +0000
committerIan Lynagh <igloo@earth.li>2008-11-16 17:41:22 +0000
commit7e97bc160b6a3f3fc85098121afa110e8ad98fce (patch)
tree0e3c8576c8a50fadb6564cf1202595cde1c83467 /libraries/gen_contents_index
parent46f8e0092cacff4b2430296772218db7cfb3d123 (diff)
downloadhaskell-7e97bc160b6a3f3fc85098121afa110e8ad98fce.tar.gz
Fix gen_contents_index when not run inplace; trac #2764
Based on a patch from juhpetersen.
Diffstat (limited to 'libraries/gen_contents_index')
-rw-r--r--libraries/gen_contents_index2
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index 2f33fc4fc4..ea9f4b95e1 100644
--- a/libraries/gen_contents_index
+++ b/libraries/gen_contents_index
@@ -23,7 +23,7 @@ esac
for HADDOCK_FILE in $HADDOCK_FILES
do
- NAME=` echo "$HADDOCK_FILE" | sed 's#/dist/.*##' | sed 's#.*/##' `
+ NAME=` echo "$HADDOCK_FILE" | sed 's#.*/##' | sed 's#\.haddock$##' `
HADDOCK_ARGS="$HADDOCK_ARGS --read-interface=$NAME,$HADDOCK_FILE"
NAMES="$NAMES $NAME"
done