[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[groff] 05/10: groff_man*(7): Document point size default better.
From: |
G. Branden Robinson |
Subject: |
[groff] 05/10: groff_man*(7): Document point size default better. |
Date: |
Thu, 17 Sep 2020 05:20:29 -0400 (EDT) |
gbranden pushed a commit to branch master
in repository groff.
commit a50da9a7b1cdb02a4330b7e486e2ff0f0cf2dd79
Author: G. Branden Robinson <g.branden.robinson@gmail.com>
AuthorDate: Wed Sep 16 22:41:37 2020 +1000
groff_man*(7): Document point size default better.
Document change made in f637d03dceb0b7004e8c5eff3a7607183cb45b1e, 14
September.
---
tmac/groff_man.7.man.in | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/tmac/groff_man.7.man.in b/tmac/groff_man.7.man.in
index 3baade9..b9652fd 100644
--- a/tmac/groff_man.7.man.in
+++ b/tmac/groff_man.7.man.in
@@ -1284,7 +1284,12 @@ _endif()dnl
.
.PP
The default point size and family for typesetter devices is 10-point
-Times.
+Times,
+except on the
+.B \%X75\-12
+and
+.B \%X100\-12
+devices where the point size is 12.
.
The default style is roman.
.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [groff] 05/10: groff_man*(7): Document point size default better.,
G. Branden Robinson <=