diff options
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/gen_contents_index | 2 |
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 |