Follow-up Comment #8, bug #8326 (project texinfo):
I don't think that it is an error. Well, it depends if a : is allowed in a
node name or not. If allowed this is not an error in my opinion. Still the
node will, in most case, not exist and so the
name: node:
should lead to an unknown node in menu error.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?8326>
_______________________________________________
Message posté via/par Savannah
http://savannah.gnu.org/
