> > 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.
That part's fixed. Much thanks!
Unfortunately, there's now a different pr
Gavin Smith wrote:
> On Thu, Aug 03, 2017 at 08:36:52AM -0600, arn...@skeeve.com 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:
On Thu, Aug 03, 2017 at 08:36:52AM -0600, arn...@skeeve.com 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.sa
