diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-05-17 18:48:44 -0500 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-05-17 18:48:44 -0500 |
commit | f57623a6b98af04b4e9426c1a14f7edd3380573f (patch) | |
tree | b5cb97ea156d02bbfa697ece71cbf9adbd958b1a | |
parent | a2b4c1382bde523ce2fe522d17f289809be60c86 (diff) | |
download | groff-git-f57623a6b98af04b4e9426c1a14f7edd3380573f.tar.gz |
groff_diff(7): Fix missing punctuation.
-rw-r--r-- | man/groff_diff.7.man | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/groff_diff.7.man b/man/groff_diff.7.man index 5024e867b..7893d379e 100644 --- a/man/groff_diff.7.man +++ b/man/groff_diff.7.man @@ -3841,7 +3841,7 @@ this amount is set to Both arguments are in twelfths of current font's space width (usually one-third em for Western scripts; (see -.MR groff_font @MAN5EXT@ ) +.MR groff_font @MAN5EXT@ ). . Initially, both the |