Re: -symbol-list-lines doco update

Bob Rossi
2004-02-17T20:09:15Z

> 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