Re: HTML output of license has sections numbered wrong but references to those sections by number

[Gavin Smith]

On Thu, Apr 13, 2017 at 06:06:44PM +0200, Zsbán Ambrus wrote:
> Dear Texinfo maintainers.
> 
> The online HTML formatted copy of the Texinfo manual has a copy of the
> GNU Free Documentation License at
> "http://www.gnu.org/software/texinfo/manual/texinfo/html_node/GNU-Free-Documentation-License.html#GNU-Free-Documentation-License";.
> In this copy of the license, the section numbers show up wrong: what
> is called section 3 in the license is displayed as section 4.  This is
> a problem, because the text of the license itself refers to "section
> 3", so now that reference points to the wrong place, so now it looks
> as if you were distributing the manual under an invalid license.
> 
> It seems that this is a regression bug in Texinfo itself: the license
> shows up correctly in the other versions of the Texinfo manual, only
> texinfo now converts the list to HTML wrong.  Sadly I don't know what
> version of texinfo you used to create that online copy or how it was
> invoked.
> 
> I originally discovered this bug when it affected the manual of GNU
> Libc, see "https://sourceware.org/bugzilla/show_bug.cgi?id=21383";

This should have been fixed in Texinfo 6.4, which was released recently.  
I agree it is quite important.  I suggest installing Texinfo 6.4 and 
regenerating the documentation.