gbranden pushed a commit to branch master
in repository groff.
commit e38cb2c0144ce7da2f32be0ae504953256f791cc
Author: G. Branden Robinson <[email protected]>
AuthorDate: Fri Apr 21 14:32:04 2023 -0500
groff_mm(7): Drop garbage.
---
contrib/mm/groff_mm.7.man | 2 --
1 file changed, 2 deletions(-)
diff --git a/contrib/mm/groff_mm.7.man b/contrib/mm/groff_mm.7.man
index 391e586b3..d0b5f26ba 100644
--- a/contrib/mm/groff_mm.7.man
+++ b/contrib/mm/groff_mm.7.man
@@ -1946,8 +1946,6 @@ Except for a heading number,
it is treated as a numbered heading of the level stored in
.RB register\~ Hu ;
.RB see\~ H .
-see\~\c
-.BR H .
.
.
.TP
_______________________________________________
Groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
