[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP
From: |
G. Branden Robinson |
Subject: |
Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP |
Date: |
Sat, 28 Oct 2023 11:15:11 -0500 |
Hi Alex,
At 2023-10-28T17:55:50+0200, Alejandro Colomar wrote:
> On Sat, Oct 28, 2023 at 07:27:49AM -0500, G. Branden Robinson wrote:
> > At 2023-10-24T12:31:04+0200, Alejandro Colomar wrote:
> > > In less(1) I use similar heuristics to find what I want:
> > > '/ --unused' will get me exactly where I expect.
> >
> > You might want to adapt this habit to '/ +--unused'.
>
> In fact I don't want. A single space would trigger false positives in
> the middle of the text. I use at least 3, sometimes more (depending
> on how much I feel like pressing the space bar), to get a single
> positive at the tag.
You could do what I do.
'/^ +-'
Still cheaper/lazier.
Maybe I've been burned too many times by people getting space quantities
wrong in other contexts.
> I'm already using groff from git, so I'm already adapted to that. :)
Ah, excellent. As Thomas Dickey always says, "(report bugs)".
Regards,
Branden
signature.asc
Description: PGP signature
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, Alejandro Colomar, 2023/10/23
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, G. Branden Robinson, 2023/10/23
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, Alejandro Colomar, 2023/10/24
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, G. Branden Robinson, 2023/10/28
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, Alejandro Colomar, 2023/10/28
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP,
G. Branden Robinson <=
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, Alejandro Colomar, 2023/10/28