gbranden pushed a commit to branch master
in repository groff.
commit 4820901f88e3b76a7c96eae9b56e893c0dd09ff8
Author: G. Branden Robinson <[email protected]>
Date: Sat Jun 30 10:35:16 2018 -0400
groff_man(7): Remove italics from "man pages".
We don't need to _both_ set "man pages" in italics and quote it when
introducing it as jargon. I favor quotation marks for it since it's
toward the slang end of the spectrum. (Contrast with phrases like
"Hamming distance" or "NP-hard", which would be italicized upon their
first appearance in a formal text introducing the concepts.)
Signed-off-by: G. Branden Robinson <[email protected]>
---
tmac/groff_man.7.man | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/tmac/groff_man.7.man b/tmac/groff_man.7.man
index 1dd3982..32b759e 100644
--- a/tmac/groff_man.7.man
+++ b/tmac/groff_man.7.man
@@ -58,9 +58,8 @@ The
.B man
macro package for
.I groff
-is used to produce manual pages
-.RI (\(lq man\~pages \(rq)
-like the one you are reading.
+is used to produce manual pages (\(lqman\~pages\(rq) like the one you
+are reading.
.
GNU
.IR roff 's
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit