bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

in Info space after *note required for cross ref?


From: Patrice Dumas
Subject: in Info space after *note required for cross ref?
Date: Sat, 23 Jun 2012 13:43:48 +0200
User-agent: Mutt/1.5.20 (2009-12-10)

Hello,

In an Info document, should there be a mandatory space after a *note to
have the remaining be considered as a cross reference? That is should

 *note-something:: 

be a cross reference to `-something'?  Or should 

 *note -something::

be mandated?

Also would an empty label be accepted, that is something along

 *note: a node name.

or 

 *note : a node name.



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

-- 
Pat



reply via email to

[Prev in Thread] Current Thread [Next in Thread]