[patch][python] 3/3 Python representation of GDB line tables (Documentation)

[Tom Tromey]

>>>>> "Phil" == Phil Muldoon <pmuldoon@redhat.com> writes:

Phil> +Python code can request and inspect line table information from a
Phil> +symbol table that is loaded in @value{GDBN}.  To acquire the line
Phil> +table information for a particular symbol table, use the
Phil> +@code{linetable} function (@pxref{Symbol Tables In Python}).
>> 
>> I think that this should mention what a line table is.  Something along
>> the lines of how the line table maps between source lines and addresses.

Phil> I added a brief explanation to that paragraph.  If we need more, we
Phil> will have to think about including a separate section.

It looks good to me.
Thanks, Phil.

Tom