[PATCH v2 1/3] python: Add Inferior.progspace property

[Simon Marchi]

On 2018-09-13 09:45, Eli Zaretskii wrote:
>> From: Simon Marchi <simon.marchi@ericsson.com>
>> CC: Simon Marchi <simon.marchi@ericsson.com>
>> Date: Wed, 12 Sep 2018 22:36:25 -0400
>> 
>> -@xref{Inferiors and Programs}.
>> +@xref{Inferiors and Programs}.  This is identical to
>> +@code{gdb.selected_inferior().progspace} (@pxref{Inferiors In 
>> Python}) and is
>                                           ^
> This brace should be deleted.

The brace belongs there (it is the end of the @code), if I remove it I 
get a makeinfo error.

> Otherwise, the documentation parts are OK.  Thanks.

Thanks.

Simon