Re: @pxref does not produce "see" in info reader

[Gavin Smith]

On Thu, Jul 13, 2017 at 09:29:06PM +0200, Benno Schulenberg wrote:
> In the nano.texi file we use something like this:
> 
>     "There are also some commands to define syntax highlighting and to
>     rebind keys --- @pxref{Syntax Highlighting} and @ref{Rebinding Keys}.
> 
> When transformed to HTML or PDF this produces a "see" after the mdash.
> Good.  But when transformed to an Info document, and using the option
> 'hide-note-references=On' in the .infokey file for the stand-alone info
> reader, the "*note" gets transformed to nothing -- the whole "see" is
> absent.

Yes, this is a fundamental problem with the Info format.  It is not 
possible to detect from the Info file whether @pxref or @ref was used,
as *note is output for both.  I believe that with 'hide-note-references',
*note is usually hidden, except for when it occurs within parentheses,
like "(*note Syntax Highlighting::)".  If you want to make sure that
"see" appears in info with 'hide-note-references=On', you need to use 
@ref instead:

>  rebind keys --- see @ref{Syntax Highlighting} and @ref{Rebinding Keys}.