bug#74205: man: dots and closing bracket in wrong order

2024-11-04 Thread Paul Eggert
On 2024-11-04 12:28, Martin Schulte wrote: the dots and the closing are in the wrong order compared to "all" other man pages: POSIX uses yet another style for ... and []; see: https://pubs.opengroup.org/onlinepubs/9799919799/utilities/grep.html That being said, it's a bit nicer if grep match

bug#74205: man: dots and closing bracket in wrong order

2024-11-04 Thread Martin Schulte
Hello, it doesn't harm but I always stumple when I read the SYNOPSIS in grep's man page where - in contrast to the usage message - the dots and the closing are in the wrong order compared to "all" other man pages: $ man grep | head GREP(1) User Commands