Fix a bug in gen_contents_index
authorIan Lynagh <igloo@earth.li>
Wed, 12 Dec 2007 12:11:54 +0000 (12:11 +0000)
committerIan Lynagh <igloo@earth.li>
Wed, 12 Dec 2007 12:11:54 +0000 (12:11 +0000)
commit18b15542d69770ca761e0663fde6c6fa52fdb129
tree18257b1f38bc4907626e55b9c0919f378f315b00
parentd755f7e69b58791faf56345c2dbaa7793c3700ab
Fix a bug in gen_contents_index
The library doc index thought that the docs were in $module.html, rather
than $package/$module.html.
libraries/gen_contents_index