Re: dot in node not accepted in Info in menu entry

[Sergey Poznyakoff]

Fixed. Info now correctly follows references to node names containing dots,
as long as the info format allows it.  In particular, such node names
are OK in menus and single-argument xrefs.

Regards,
Sergey