gbranden pushed a commit to branch master
in repository groff.

commit d6dd38fa7c5e12a844f3d21db2c69c81656754bd
Author: G. Branden Robinson <[email protected]>
AuthorDate: Sat Mar 22 17:29:33 2025 -0500

    gdiffmk(1): Fix request notation.
    
    Drop leading control character.  The identifier is already characterized
    as a "request".
---
 contrib/gdiffmk/gdiffmk.1.man | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/gdiffmk/gdiffmk.1.man b/contrib/gdiffmk/gdiffmk.1.man
index 1d3266159..260859791 100644
--- a/contrib/gdiffmk/gdiffmk.1.man
+++ b/contrib/gdiffmk/gdiffmk.1.man
@@ -104,7 +104,7 @@ to the standard output stream
 consisting of
 .I file2
 with added margin character
-.RB ( .mc )
+.RB ( mc )
 requests indicating output lines that differ from
 .I file1.
 .

_______________________________________________
groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit

Reply via email to