Re: makeinfo --docbook bug with index

[Karl Berry]

            <index role="cp"></index>

How can it be correct to omit output from the @node and @unnumbered?
Docbook cannot know the name I want to give to my index.  And the whole
node tree would be screwed up.  And what if there is other text in the
node besides the @printindex?  I don't get it.  Not that it's my
business any more ...  -k