Re: doc: Silence a texinfo warning.

[Bruno Haible]

Hi Collin,

> Not sure if this is a bogus texinfo warning since as far as I can tell
> it doesn't change the output of the documentation.
> 
> make[1]: Entering directory '/home/collin/.local/src/gperf/doc'
> cd . && LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo -c 
> CHECK_NORMAL_MENU_STRUCTURE=1 --no-split gperf.texi
> gperf.texi:129: warning: unexpected argument on @detailmenu line: --- The 
> Detailed Node Listing ---

I reproduce the warning with texinfo version 7.1, but not with 7.0.3 or older.

> The attached patch fixes it.

But the ChangeLog entry is misleading. The primary effect of the change is
to make the title line of the detailed menu appear; this is true with
version 7.1 as well as older versions (such as 6.3). I changed the ChangeLog
entry to:

        doc: Make the detailed menu title appear as intended.
        * doc/gperf.texi (Top): Add a line break after @detailmenu.

and committed it in your name.

Thanks!

Bruno