Re: Unspecific links in makeinfo --html output

[Karl Berry]

Hi Simon,

    I think the 3.1 link should point to #TLS-Layers etc.

Well, yes, but I think the problem is in the manual source.  The TLS
layers @section has no @node:

 implemented in @acronym{GnuTLS} since they are not considered secure
 today.

 @section TLS layers
 @cindex TLS Layers

 @acronym{TLS} 1.0 is a layered protocol, and consists of the Record

Without the @node, makeinfo can't point to it.

Based on the html_node output from the Texinfo manual, I think if there
is an @node, the TOC will come out right.
http://www.gnu.org/software/texinfo/manual/texinfo/html_node/

Thanks,
karl