Re: 6.1: HTML5 makes the attribute "name" in hypertext anchors obsolete.

[Robert Weiner]

On Fri, Aug 5, 2016 at 1:22 PM, Gavin Smith <address@hidden> wrote:

That's good to know. As long as we are targetting the 4.01
transitional version, we should definitely use <a name=...> instead of
<a id=...>.

Previous discussion of this here:

http://lists.gnu.org/archive/html/bug-texinfo/2016-02/msg00056.html

​Ok, glad to see this has been thought about already.

Bob