gbranden pushed a commit to branch master
in repository groff.
commit e7dfdbffdb7e9a8dff5e136ae34d389e5379580f
Author: G. Branden Robinson <[email protected]>
AuthorDate: Sun Feb 12 12:12:31 2023 -0600
doc/groff.texi: Don't be facetious in an example.
Wit is sometimes appreciated; confusing the learner generally is not.
---
doc/groff.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/groff.texi b/doc/groff.texi
index 63383ada3..0429ee517 100644
--- a/doc/groff.texi
+++ b/doc/groff.texi
@@ -15400,7 +15400,7 @@ name of the current environment---the one at the top of
the stack.
@r{@dots{}}
.ev footnote-env
-\[dg] Note the large, friendly letters.
+\[dg] Observe the smaller text and vertical spacing.
.ev
@endExample
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
