Re: [PATCH 5/6] prctl.2: srcfix

[Alejandro Colomar <alx@kernel.org>]

[-- Attachment #1.1: Type: text/plain, Size: 1438 bytes --]

Hi Branden,

On 2023-07-28 20:01, G. Branden Robinson wrote:
> Clean up in preparation for "MR sed".
> 
> From d37895afc8d4b7bef3ec08cbacc6a1849570f00a Mon Sep 17 00:00:00 2001
> From: "G. Branden Robinson" <g.branden.robinson@gmail.com>
> Date: Fri, 28 Jul 2023 12:08:06 -0500
> Subject: [PATCH 5/6] prctl.2: srcfix
> 
> Recognize that the man(7) macro `RB` exists.  Use it in favor of \c
> since only two font styles are required in alternation.
> 
> Signed-off-by: G. Branden Robinson <g.branden.robinson@gmail.com>
> ---
>  man2/prctl.2 | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/man2/prctl.2 b/man2/prctl.2
> index fe403d76a..63369fb4b 100644
> --- a/man2/prctl.2
> +++ b/man2/prctl.2
> @@ -1050,8 +1050,8 @@ .SH DESCRIPTION
>  .BR PR_SET_PDEATHSIG " (since Linux 2.1.57)"
>  Set the parent-death signal
>  of the calling process to \fIarg2\fP (either a signal value
> -in the range 1..\c
> -.BR NSIG "\-1" ,
> +in the range
> +.RB 1.. NSIG \-1,

I prefer using mathematical notation.  I applied the following instead:

<https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/commit/?id=d7ec31628938c8261a1f00d3c273de4f7407ccee>

Cheers,
Alex

>  or 0 to clear).
>  This is the signal that the calling process will get when its
>  parent dies.

-- 
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]