xref output, nodes vs. sections

[Karl Berry]

Back on this mail from August (sorry).

    > It looks like you also change the xref targets to use section names?

    Indeed, it is one possibility. But there is a variable (and even
    a command line option) that changes the behaviour, I set it in the 
    default case.

Options are good, but the default xref output should match what makeinfo
does.  Yes?

    In texinfo.tex both are used, unless I am wrong

Suppose we have

@chapter Sectitle
@node Foo

Then, in texinfo.tex, a simple "@xref{Foo}" outputs "See Foo, page 1",
where Foo is the node name, not the section name.  It is possible to use
a multi-arg @xref command to change the output.  There is also an
(undocumented) option to use section names instead.

In the Info output, the output uses both:
"*Note Sectitle:: foo".

In the HTML output, just the node name (like texinfo.tex):
"<a href="#Top">Top</a>".

    (and I think that it is quite ugly).

I agree, but I'm doubtful about changing the default output at this point.
Wdyt?

Thanks,
Karl