gawk TOC issue - section 9.1.3.1 on page vii

[arnold]

Hi.

In an earlier message on a different thread, I reported that the TOC
for the gawk manual has a problem with a subsubsection with a long
title.  You can see this on page vii of the TOC for section 9.1.3.1.
To reproduce:

        git clone git://git.savannah.gnu.org/gawk.git
        cd gawk
        ./bootstrap.sh && ./configure && make
        cd doc
        make gawk.pdf

I imported the SVN repo into git and did a git bisect. The guilty
commit is

| $ git bisect good
| ece37d8497e1b06780d481ac02f31192fa841e9c is the first bad commit
| commit ece37d8497e1b06780d481ac02f31192fa841e9c
| Author: gavin <gavin@39fee189-59d7-47db-b5d4-205258b72aed>
| Date:   Sat Aug 6 12:49:21 2016 +0000
| 
|     use new macro \ourunvbox
|     
|     git-svn-id: http://svn.savannah.gnu.org/svn/texinfo@7305 
39fee189-59d7-47db-b5d4-205258b72aed
| 
| :040000 040000 9c2298535bbe107cfe441108c1fcd33bf353ff64 
869fe3c216864900d84f12268d41e3132a024626 M    trunk

Hidden in there is that this is SVN revision 7305.

Please investigate and fix. :-)

Thanks!

Arnold