#1035557 git-man: git-diff(1) man page: the three dots (...) are confusing

Package:
git-man
Source:
git-man
Submitter:
Vincent Lefevre
Date:
2023-05-05 11:57:04 UTC
Severity:
normal
#1035557#5
Date:
2023-05-05 11:55:59 UTC
From:
To:
In the synopsis:

       git diff [<options>] <commit>...<commit> [--] [<path>...]

In this line, three dots (...) appear twice, but with 2 completely
different meanings: the first one is a literal one, the second one
meaning one or more. Ditto at other places.

A different style should be used to differentiate them. A possibility,
now that Unicode is common, would be to use U+2026 HORIZONTAL ELLIPSIS
(…) to mean one or more.