[groff] 05/10: groff_man*(7): Document point size default better.

[G. Branden Robinson]

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.
 .