On Thu, Aug 03, 2017 at 08:36:52AM -0600, [email protected] 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.
