diff options
| author | Alejandro Colomar <alx@kernel.org> | 2023-03-08 00:37:28 +0100 |
|---|---|---|
| committer | Alejandro Colomar <alx@kernel.org> | 2023-03-08 01:17:12 +0100 |
| commit | 005a273b700fd9ce56e858d354b879c378169c4f (patch) | |
| tree | 1a3ef9eec7878423a6d7acbffb8f028be2b6b926 /man7/pipe.7 | |
| parent | d6c1998e123fedb6be79ba0045aaea9f527132a3 (diff) | |
| download | man-pages-005a273b700fd9ce56e858d354b879c378169c4f.tar.gz | |
man*/: srcfix (IP)
Two consecutive IPs without text don't make sense, since they are
paragraph separators. The reason we needed it was that PD 0 was
misplaced.
This extra IP was also causing another problem: we needed to specify
again the indentation of the outer list.
Reported-by: mandoc(1) (make lint-man-mandoc)
Signed-off-by: Alejandro Colomar <alx@kernel.org>
Diffstat (limited to 'man7/pipe.7')
| -rw-r--r-- | man7/pipe.7 | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/man7/pipe.7 b/man7/pipe.7 index 8af8932f38..c3e06bdab4 100644 --- a/man7/pipe.7 +++ b/man7/pipe.7 @@ -356,10 +356,9 @@ are performed only when increasing a pipe's capacity; an unprivileged user can always decrease a pipe's capacity. .IP (c) The accounting and checking against the limits were done as follows: -.IP .RS -.PD 0 .IP (1) 5 +.PD 0 Test whether the user has exceeded the limit. .IP (2) Make the new pipe buffer allocation. |