On Sat, Jun 23, 2012 at 03:49:11PM +0300, Eli Zaretskii wrote:
> > > That's true, but an asterisk '*' cannot be a valid label,
> >
> > I can't see why.
>
> Because of "* Menu".
I still don't get it. It seems to me that
@menu
* *: mynode.
@end menu
is a perfectly valid menu entry, and same with @ref{mynode, , *}.
> > > and there
> > > should be a blank after "*Note" before the label.
> >
> > That, I could agree with. I'll ask on the list.
This should be fixed now.
--
Pat
_______________________________________________
bug-gdb mailing list
bug-gdb@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-gdb
