Re: info.el dots in node names

[Kevin Ryde]

Richard Stallman <address@hidden> writes:
>
> Would this fail for `(@xref{foo}.)'?

Actually, when there's only a node name like that, giving

        (*Note foo::.)

it already worked, due to the "::" like a menu entry.

But if you're wondering about something like

        (*Note a fooish thing: foo.)

then yes, I allowed for that, "." followed by ")" is the end of the
node name.

What I did botch in my regexp though was multiple dots, like

        *note something: node name..

Clearly this wouldn't be written deliberately, but it's all too easy
to forget @pxref inserts a dot, and add an extra.  New effort below.

info.el.node-name-dots-2.diff
Description: Text document