gbranden pushed a commit to branch master
in repository groff.
commit ef94a7d015d981cba692a55e2d777fa8d876b2ae
Author: G. Branden Robinson <[email protected]>
AuthorDate: Tue Jan 17 18:07:16 2023 -0600
groff_mm(7): Consistently say "GNU extensions".
---
contrib/mm/groff_mm.7.man | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/contrib/mm/groff_mm.7.man b/contrib/mm/groff_mm.7.man
index 25bc2a59b..19f7d2128 100644
--- a/contrib/mm/groff_mm.7.man
+++ b/contrib/mm/groff_mm.7.man
@@ -4915,9 +4915,7 @@ of Lund, Sweden.
the DWB\~3.3
.I mm
manual,
-introduces the package but does not document
-.I groff mm
-extensions.
+introduces the package but does not document GNU extensions.
.
.
.P
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
