gbranden pushed a commit to branch master
in repository groff.
commit 0b852a09ece77132fa0bcf6fcd78884898c6ecfb
Author: G. Branden Robinson <[email protected]>
Date: Wed Nov 1 04:07:09 2017 -0400
groff.texi: Replace another @dmn with @tie.
Signed-off-by: G. Branden Robinson <[email protected]>
---
doc/groff.texi | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/groff.texi b/doc/groff.texi
index c0c44b8..87c5167 100644
--- a/doc/groff.texi
+++ b/doc/groff.texi
@@ -2496,8 +2496,8 @@ Finally, the macros @code{SH}, @code{SS}, @code{LP}
(@code{PP},
@cindex @code{man} macros, how to set fonts
The standard font is roman; the default text size is 10@tie{}points. If
-command-line option @option{-rS=@var{n}} is given, use @var{n}@dmn{pt}
-as the default text size.
+command-line option @option{-rS=@var{n}} is given, use
+@var{n}@tie{}points as the default text size.
@Defmac {SM, [@Var{text}], man}
Set the text on the same line or the text on the next line in a font
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
