gbranden pushed a commit to branch master
in repository groff.
commit a50da9a7b1cdb02a4330b7e486e2ff0f0cf2dd79
Author: G. Branden Robinson <[email protected]>
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.
.
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
