HTML output cross-reference link bug

[Simon Josefsson]

I may have reported this before, but I don't recall seeing a solution,
so maybe I forgot to report it.

I'm using texinfo 4.13 to generate the GnuTLS manual.  To reproduce the
problem, go to:

http://www.gnu.org/software/gnutls/manual/html_node/The-TLS-Handshake-Protocol.html

Click on the first link in the text, i.e., gnutls_priority_init.

The links goes to:

http://www.gnu.org/software/gnutls/manual/html_node/Core-functions.html#gnutls%5fpriority%5finit

However, there is no A NAME for that.  Looking at the HTML code on the
second page, it looks like this:

<p><a name="gnutls_005fpriority_005finit"></a>

Ideas on how to solve this?

/Simon