[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP
From: |
Alejandro Colomar |
Subject: |
Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP |
Date: |
Sat, 28 Oct 2023 18:33:21 +0200 |
On Sat, Oct 28, 2023 at 11:15:11AM -0500, G. Branden Robinson wrote:
> 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.
>
> '/^ +-'
'/ -' seems lazier to me. :)
>
> 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
--
<https://www.alejandro-colomar.es/>
signature.asc
Description: PGP signature
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, (continued)
- 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, Ingo Schwarze, 2023/10/23
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, G. Branden Robinson, 2023/10/24
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, Ingo Schwarze, 2023/10/26
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP, Alejandro Colomar, 2023/10/26
- 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/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, 2023/10/28
- Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP,
Alejandro Colomar <=