On Fri, Aug 5, 2016 at 1:22 PM, Gavin Smith <[email protected]> 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
