Re: [PATCH 2/4] Document new 'set honor-dontdump-flag' command

Eli Zaretskii
2017-11-28T16:39:17Z

> From: Sergio Lopez <slp@redhat.com>
> Cc: Sergio Lopez <slp@redhat.com>
> Date: Tue, 28 Nov 2017 14:21:46 +0100
>
> On @sc{gnu}/Linux, this command can take into account the value of the
> file @file{/proc/@var{pid}/coredump_filter} when generating the core
> -dump (@pxref{set use-coredump-filter}).
> +dump (@pxref{set use-coredump-filter}), and will honor the VM_DONTDUMP

VM_DONTDUMP should be in @code.

> +@kindex set honor-dontdump-flag
> +@anchor{set honor-dontdump-flag}
> +@item set honor-dontdump-flag on
> +@itemx set honor-dontdump-flag off
> +If @code{on} is specified, GDB will not dump memory regions marked

"@value{GDBN}"

> +with the VM_DONTDUMP flag. This flag is represented in
^^^^^^^^^^^
@code{VM_DONTDUMP}, and 2 spaces between sentences.

What about a NEWS entry?

Thanks.