Re: BETA release of GNU Awk 5.1.1.f -- Unable to 'make html'

[Neil R. Ormos]

Eli Zaretskii wrote:
> ["Neil R. Ormos" wrote:]

>> I tried to produce the html version of the manual
>> by issuing 'make html' immediately after a plain
>> 'make' appeared to succeed.  The result was many
>> error messages of the form:

>> gawk.texi:1359: unknown command `subentry'
>> gawk.texi:1359: unknown command `seealso'
>> gawk.texi:1359: misplaced {
>> gawk.texi:1359: misplaced }

>> but referencing various line numbers,

>> and at the end,

>> Makefile:476: recipe for target 'gawk.html' failed
>> make[1]: *** [gawk.html] Error 1
>> make[1]: Leaving directory
>> '$WORK/gawk-5.1.1f/doc'
>> Makefile:757: recipe for target 'html-recursive' failed
>> make: *** [html-recursive] Error 1

>> (Upstream path components replaced with $WORK for this
>> inquiry.)

>> What have I done wrong?

> You need Texinfo 6.7 or later.  @subentry is a
> new command since Texinfo 6.7.

Thank you, Eli.  

I don't know what interprets the "@subentry" command. 

I can't install the texinfo-6.7 package.

The README file states, 

| To format the documentation with TeX, use at least
| version 2019-09-20.22 of texinfo.tex. There is a
| usable copy of texinfo.tex in the doc directory.  You
| must also use at least version 6.7 of texindex and of
| makeinfo from the texinfo-6.7 distribution.

These version strings appear in the texinfo.tex
files distributed with the 5.1.1f tar archive:

    build-aux/texinfo.tex:  \def\texinfoversion{2021-04-25.21}
    doc/texinfo.tex:        \def\texinfoversion{2021-04-25.21}
    doc/it/texinfo.tex:     \def\texinfoversion{2020-10-24.12}

Is the problem that doc/it/texinfo.tex is not the
latest, so that the solution is as simple as
overwriting it with the later version?  

If not...

Since I can't install the texinfo-6.7 package,
would it be sufficient to replace the old versions
of texindex (a wrapper to texindex.awk) and
makeinfo (a link to /usr/bin/texi2any, which looks
like a Perl script) with the versions from
texinfo-6.7?