Display of cross references to other manuals

[Richard Stallman]

Looking at the Texinfo manual in Emacs, in node Top Node Naming, I see

    Thus, to make a cross reference to `The GNU Make Manual', write:

         @xref{Top, , Overview, make, The GNU Make Manual}.

    which produces

         See Overview.

(The actual text in the Info file is `See *Note Overview: (make)Top.')

Displaying it this way is confusing because it doesn't show that this
is a reference another manual.  Perhaps the invisibility should be
limited to ordinary within-manual references.

What do you think?