Re: 5-arg xref to Top w/o 3rd arg

[Karl Berry]

    I guess you meant @xref{Top,,, info, GNU Info}.

Yes, sorry.  Too many commas. 

    I think that it would be even more simple to accept empty first
    argument, 

And default to "Top" for the Info output?  I guess it could be done.
But if we have @xref{Top,,, info, GNU Info}, I think that should behave
the same way.  After all, right now all xref's given the first argument
so it's fairly natural to just remove the "randomly named" third arg and
leave all else alone.

    when there is a 4rth or fifth argument.  

I'm concerned specifically about the case of printed manuals (fifth
arg).  I don't object to handling input like
  @xref{Top,,, info},
  @xref{,,,info},
without any fifth arg in the analogous way, but I don't think it really
helps much.  In a way, the less we change, the less there is to document :).
    
    But other output formats may be affected, at least docbook and HTML
    which nowadays are more similar with TeX output than with info.

Yep.

So, anyway, I gather you're ok with the idea in general.  I'll work on
implementing it for TeX.

Thanks,
karl