Re: in Info space after *note required for cross ref?

[Karl Berry]

Hi Patrice and all,

    should there be a mandatory space after a *note to have the
    remaining be considered as a cross reference? 

I believe so.  Because I believe all versions of makeinfo and even
texinfo-format-buffer generated such spaces.  Anyone know something to
the contrary?

    That is should
      *note-something:: 
    be a cross reference to `-something'?  

I think not.  Is there a way to generate the *note for an xref without
the space?

    Also would an empty label be accepted, that is something along
     *note: a node name.
    or 
     *note : a node name.

Same answer.  I don't know any way to generate such constructs.  Does
anyone? So I'm inclined to consider such weird borderline cases invalid.

    As a side note, regarding the space after the :, I think that it should
    be optional.

Again, is there any way to actually get such output (with a space)?
If not, why complicate/over-generalize?


I guess all this means, once we reach a conclusion,
1) the new makeinfo should only warn about @strong{Note} when the result
   is actually ambiguous, as occasioned the whole discussion, and
2) the standalone Info reader should get smarter about recognizing such
   things, and
3) our Info reference documentation should get some more details, since
   it doesn't explain the whitespace requirements (or lack thereof) much.

No need to wait until 2) is done before doing 1), and
I'm sure Sergey would like some examples to do 2), which I expect you'll
construct as test cases for 1) anyway.

Do you agree, Patrice?

k