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
