|
From: | Karl Berry |
Subject: | Re: makeinfo --docbook bug with index |
Date: | Wed, 6 Apr 2016 21:00:02 GMT |
<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
[Prev in Thread] | Current Thread | [Next in Thread] |