gbranden pushed a commit to branch master
in repository groff.
commit 3b8cf0d46680fff4c2800e98f3492c6f3db26d67
Author: G. Branden Robinson <[email protected]>
AuthorDate: Sun Nov 23 12:24:29 2025 -0600
groff_mm(7): Document name of default font family.
---
contrib/mm/groff_mm.7.man | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/contrib/mm/groff_mm.7.man b/contrib/mm/groff_mm.7.man
index 7da3428b5..5db4f7035 100644
--- a/contrib/mm/groff_mm.7.man
+++ b/contrib/mm/groff_mm.7.man
@@ -574,7 +574,9 @@ Use the
.B fp
request to mount substitute fonts at these positions as desired.
.
-The default font family is Times.
+The default font family is
+.RB \[lq] T \[rq]
+(Times).
.
Select a different one
by invoking
_______________________________________________
groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
