Re: makeinfo --docbook bug with index

2016-04-06 Thread Aharon Robbins
Hi. I agree that there's an impedance mismatch here between Texinfo and DocBook. That makes it harder to deal with than I would like, too. I really DON'T enjoy making the lives of the Texinfo maintainers miserable... :-( (Yes Karl, I hear you snorting in the back there... :-) > On 6 April 2016 a

Re: makeinfo --docbook bug with index

2016-04-06 Thread Gavin Smith
On 6 April 2016 at 22:00, Karl Berry wrote: > > > 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

Re: makeinfo --docbook bug with index

2016-04-06 Thread Patrice Dumas
On Wed, Apr 06, 2016 at 06:44:47AM -0600, arn...@skeeve.com wrote: > Hi. > > In docbook output, given something like this input: > > > @node Concept Index > @unnumbered Index > > @printindex cp > > @bye > > The generated docbook is > > > >

Re: makeinfo --docbook bug with index

2016-04-06 Thread Karl Berry
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

makeinfo --docbook bug with index

2016-04-06 Thread arnold
Hi. In docbook output, given something like this input: @node Concept Index @unnumbered Index @printindex cp @bye The generated docbook is Index This isn't valid docbook. It shoul