[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: makeinfo --docbook bug with index

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]