Fix "multiple label definition" bug in \@printindex and \printindex
that was introduced in P/R #18
Macros \@printindex and \printindex of package imakeidx.hva define the
label section@the@hevea@index. Multiple indices generate multiple
definitions for this label. The result is an invalid HTML file.
This patch fixes the problem by appending the index name to the label,
which results in section@the@hevea@index@default for the default
case.
Fix "multiple label definition" bug in \@printindex and \printindex that was introduced in P/R #18
Macros
\@printindexand\printindexof package imakeidx.hva define the labelsection@the@hevea@index. Multiple indices generate multiple definitions for this label. The result is an invalid HTML file.This patch fixes the problem by appending the index name to the label, which results in
section@the@hevea@index@defaultfor the default case.Found by xmllint.