[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: in Info space after *note required for cross ref?
From: |
Karl Berry |
Subject: |
Re: in Info space after *note required for cross ref? |
Date: |
Thu, 28 Jun 2012 21:39:37 GMT |
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