Re: [PATCH] man/man3/getopt.3: Restore angle brackets.

Alejandro Colomar
2025-11-27T12:12:30Z

[-- Attachment #1: Type: text/plain, Size: 1535 bytes --]

Hi Collin,

On Wed, Nov 26, 2025 at 10:54:59PM -0800, Collin Funk wrote:
> Alejandro Colomar <alx@kernel.org> writes:
>
> > On Tue, Nov 25, 2025 at 08:05:24PM -0600, G. Branden Robinson wrote:
> >> Hi Collin,
> >>
> >> At 2025-11-25T17:15:39-0800, Collin Funk wrote:
> >> > While looking at 'man -S 3 getopt' the underlining under PID looked
> >> > strange to me.
> >
> > The underlining under 'PID' means that it's a variable part. We use
> > that syntax in many pages. This is documented in groff_man(3), as
> > Branden said.
> >
> > However, you might have also noticed some dotted underline that extends
> > until the end of the line. I think that's a bug somewhere --might be in
> > the terminal emulator, because I see it in xfce4-terminal(1) but not in
> > xterm(1)--.
>
> I was using Gnome terminal and Emacs '(man "getopt.3")'.

Hmmm, I can reproduce the dotted underline in gnome-terminal(1) too.
I don't know where's the bug. It might be in both. Branden, can you
have a look at it? I guess you'll know better than me about these
issues.

>
> >> > -.BI _ PID _GNU_nonoption_argv_flags_
> >> > +.IR _ PID _GNU_nonoption_argv_flags_
> >
> > For now, I'll keep the current style, which is consistent in the
> > project.
>
> It still looks strange to me. But I guess I will survive. :)
>
> Thank you both for the explanations.

You're welcome! :)

Have a lovely day!
Alex

>
> Collin

--
<https://www.alejandro-colomar.es>
Use port 80 (that is, <...:80/>).