gbranden pushed a commit to branch master
in repository groff.
commit 34aa1cb2020c81ebbd8289700f97500725b97fa8
Author: G. Branden Robinson <[email protected]>
AuthorDate: Sat Oct 19 04:04:23 2024 -0500
grotty(1): Fix copy-and-paste error.
---
src/devices/grotty/grotty.1.man | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/devices/grotty/grotty.1.man b/src/devices/grotty/grotty.1.man
index 8f75b742b..f53747dd3 100644
--- a/src/devices/grotty/grotty.1.man
+++ b/src/devices/grotty/grotty.1.man
@@ -289,7 +289,7 @@ There is therefore no need to filter its output through
.SS "Device extension commands"
.\" ====================================================================
.
-.I grops
+.I grotty
recognizes a device extension command produced by the
.I groff
request
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
