Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP

Hi Ingo, Fair warning: this message is (even) more opinionated than usual. At 2023-10-26T18:37:58+0200, Ingo Schwarze wrote: > G. Branden Robinson wrote on Tue, Oct 24, 2023 at 04:54:21AM -0500: > > I haven't explicitly made the connection to HTML before, > > Well, when designing a new language

Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP

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 si

Re: `\c`, mdoc(7), and man(7) extension macros (was: [PATCH 1/2] man*/: srcfix)

Hi Branden, On Sat, Oct 28, 2023 at 08:21:59AM -0500, G. Branden Robinson wrote: > > Regarding PP, LP, and P, what's the history of them? Why do we have > > the 3? I'm willing to reduce them to just one. > > We covered this in another thread, but as Ingo noted, there is no hope > of actually _r

Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP

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 w

Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP

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'.

Re: About verbatim dashes in PostScript output

Hi Jan, At 2023-10-28T15:18:05+0200, Jan Engelhardt wrote: > A recent LWN.net article (paywalled > for a while) For the benefit of those reading this in the future, the article should be free to read starting about 2 November 2023. > pointed at https://bugs.de

Re: `\c`, mdoc(7), and man(7) extension macros (was: [PATCH 1/2] man*/: srcfix)

Hi Alex, At 2023-10-26T16:12:36+0200, Alejandro Colomar wrote: > Yup. I have similar feelings about C++, BTW. I have a hard time > understanding complex languages. I prefer simpler languages. Most > features can be implemented as library code, without complicating the > language. Just know th

About verbatim dashes in PostScript output

A recent LWN.net article (paywalled for a while) pointed at https://bugs.debian.org/1041731 and the topic of "-" vs "\-". Given the following input: -\-\[u002D]\[u2013]\[u2014]+\[u2212] Feeding it through `groff -Tutf8`, I get ‐−-–—+−

Re: mandoc -man -Thtml bug: inconsistent vertical space before .TP

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'. (1) It's less to type and (2) in groff 1.24.0, the base paragraph inset will