Re: -symbol-list-lines doco update

[Bob Rossi <bob@brasko.net>]

> Please use "@itemize @minus"  and "@item" here, like this:
> 
>   There are two interesting points to be mentioned here.
> 
>   @itemize @minus
>   @item
>   The line number can be returned as ``0''.  The line number ``0'' means
> 
> etc., I hope you get the point.  The Texinfo translators, like
> makeinfo and TeX, will then take care of producing the "-" before
> every @item, and will also indent the list so it looks pretty.

Understood, thanks. Andrew, I will use @bullet.

> > +For example, PCs greater than 0x8048406 that
> > +don't have a new starting line do not belong to this line number table.

I don't even know what this means. That's why it's confusing. Maybe
Daniel can give us a better description, otherwise, I'll just put

The line number can be returned as ''0''.

I will resubmit this patch soon, if Daniel doesn't have a better
description.

Thanks,
Bob Rossi