Fix a bug in gen_contents_index

The library doc index thought that the docs were in $module.html, rather
than $package/$module.html.

diff --git a/libraries/gen_contents_index b/libraries/gen_contents_index
index 5cee6e3..4ddb58a 100644 (file)
--- a/libraries/gen_contents_index
+++ b/libraries/gen_contents_index
@@ -16,7 +16,7 @@ esac
 
 for HADDOCK_FILE in $HADDOCK_FILES
 do
-    NAME=`echo "$DIR" | sed 's#/.*##'`
+    NAME=`echo "$HADDOCK_FILE" | sed 's#/.*##'`
     HADDOCK_ARGS="$HADDOCK_ARGS --read-interface=$NAME,$HADDOCK_FILE"
     NAMES="$NAMES $NAME"
 done