git: 9front

Download patch

ref: 5432b78fb99f43a3d50ae49123b1e6116b94d7bd
parent: a0b7b3ecbbcf24a3c79ac91f8fbf6d5c0ddd7710
author: Kyle Milz <krwmilz@gmail.com>
date: Mon Nov 1 13:07:28 EDT 2021

man grep args spacing diff

--- a/sys/man/1/grep
+++ b/sys/man/1/grep
@@ -40,11 +40,11 @@
 with lowest precedence.
 Normally, each line matching the pattern is `selected',
 and each selected line is copied to the standard output.
-The options are
+.PP
+The options are:
 .TP
 .B -c
 Print only a count of matching lines.
-.PD 0
 .TP
 .B -h
 Do not print file name tags (headers) with output lines.
--