Handle doc-index*.html, not just doc-index.html
authorIan Lynagh <igloo@earth.li>
Wed, 12 Sep 2007 13:54:07 +0000 (13:54 +0000)
committerIan Lynagh <igloo@earth.li>
Wed, 12 Sep 2007 13:54:07 +0000 (13:54 +0000)
commitbd2a36fc0a209c119e9451376b18e3c9b199d4f5
treed6fbd032408567ed2d615efd32872b407671a131
parent8c1cd305ba160cb6f515ee432e762fa82739b57b
Handle doc-index*.html, not just doc-index.html
haddock sometimes makes doc-index-A.html etc files. Not sure why it
doesn't for me.
Patch from Judah Jacobson.
libraries/Makefile