gbranden pushed a commit to branch master
in repository groff.
commit 93422e70d310f4a29c7c1bb39f4ef1e29cd54bf9
Author: G. Branden Robinson <g.branden.robin...@gmail.com>
AuthorDate: Mon Nov 9 22:10:59 2020 +1100
grotty(1): Fix option arg space rendering nit.
---
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 7e05171..34715d7 100644
--- a/src/devices/grotty/grotty.1.man
+++ b/src/devices/grotty/grotty.1.man
@@ -395,7 +395,7 @@ its last line.
.
.
.TP
-.BI \-F dir
+.BI \-F\~ dir
Prepend directory
.RI dir /dev name
to the search path for font and device description files;
_______________________________________________
Groff-commit mailing list
Groff-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/groff-commit
