Re: texinfo.tex - part header in long table of contents

[arnold]

Gavin Smith <address@hidden> wrote:

> On Thu, Aug 03, 2017 at 08:36:52AM -0600, address@hidden wrote:
> > Hi.
> > 
> > Using texinfo.tex 2017-06-04.19, the part header in a table of
> > contents can come out at the bottom of a page. It'd be better if
> > it came out at the top of the next page.  To reproduce:
> > 
> >     git clone git://git.savannah.gnu.org/gawk.git
> >     cd gawk
> >     ./bootstrap.sh && ./configure && make -j
> >     cd doc ; make gawk.pdf
> > 
> > Examine page vii of the table of contents and you'll see that the
> > 
> >     Part II: Problem Solving with awk
> > 
> > is at the bottom of the page. It'd look better at the top of
> > the next page.
>
> I saw the problem. I've committed a change that should fix the problem.
> The new version of texinfo.tex should be at 
> ftp://ftp.gnu.org/gnu/texinfo/texinfo.tex in a few minutes.

Much thanks!  I'll try it out.

Arnold