Re: node and xref with and without commands

[Patrice Dumas]

On Tue, Jun 26, 2012 at 09:21:15PM +0000, Karl Berry wrote:
> 
> In principle it seems like it is undesirable for documents to be able to
> "shortcut" the xref with the expansion of the command in the node name
> and have it work.

Now there are warnings for node directions, menu entries and @*ref
when the node Texinfo name is not the same as the original node Texinfo 
name.  Like:

  warning: @ref reference address@hidden' different from main name `node'

Opinion on the message?

-- 
Pat