[Top][All Lists]
[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
- in Info space after *note required for cross ref?,
Patrice Dumas <=