Re: extra lines added by @finish in @display for DocBook

[Per Bothner]

On 12/07/2012 12:11 PM, Patrice Dumas wrote:
> On Thu, Dec 06, 2012 at 10:41:42PM -0800, Per Bothner wrote:
> > This bug is in the 4.13.91 snapshot.
> >
> >
> > Notice that each indexterm is on a separate line.
> > Since this is in a <literallayout> this means we get extra blank
> > lines in the final output.
>
> This should be fixed in CVS now.  Thanks for the report!

Thanks - that seems to have fixed it.  (I had some problems
re-building cvs-texinfo, but I copied the updated DocBook.pm
into my texinfo-4.13.91 tree, and that worked.)
--
        --Per Bothner
address@hidden   http://per.bothner.com/