Fix a bug in gen_contents_index
The library doc index thought that the docs were in $module.html, rather than $package/$module.html.
Please register or sign in to comment
The library doc index thought that the docs were in $module.html, rather than $package/$module.html.