[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Running the grohtml pipeline as a pipeline
From: |
Alejandro Colomar |
Subject: |
Re: Running the grohtml pipeline as a pipeline |
Date: |
Sat, 23 Mar 2024 00:08:27 +0100 |
Hi Branden,
On Fri, Mar 22, 2024 at 05:45:14PM -0500, G. Branden Robinson wrote:
> Hi Alex,
>
> At 2024-03-22T21:24:10+0100, Alejandro Colomar wrote:
> > Heh, we're comparing different things. I'm comparing `eqn -Tps` to
> > nothing at all, while you're comparing `eqn -Tps` to `eqn -Thtml`. If
> > I diff the same things you're diffing, then I see the same as you.
>
> Ahh. Okay. Yes, I see it now and can reproduce the problem with 1.23.0
> and Git HEAD. I'd bet it's in 1.22.4 and 1.22.3, too.
Nice.
> I've always wondered why grohtml wants to express indentation in terms
> of a percentage of available browser window[1] width.
Ahh, so if I change the window width, the indentation changes. Funny!
> Maybe I should do with grohtml what наб accused me of doing with mdoc:
Any links to that? Sounds like a funny discussion. :D
> just stick my fingers in and start poking. I hadn't imagined that
> anyone was actually _fond_ of groff mdoc(7)'s typographical choices on
> typesetters, but I was mistaken. With grohtml, there may be some, but
> there's concrete evidence that a lot of people weren't.
I was actually a bit surprised that Paul Eggert mentioned grohtml(1) as
an improvement over man2html(1). While man2html(1) is ancient and quite
bad... grohtml(1) output is on par with that. Let's improve that! :)
> Regards,
> Branden
>
> [1] or whatever the proper name for it is in HTML standardese
Have a lovely night!
Alex
--
<https://www.alejandro-colomar.es/>
Looking for a remote C programming job at the moment.
signature.asc
Description: PGP signature
- Running the grohtml pipeline as a pipeline, Alejandro Colomar, 2024/03/18
- Re: Running the grohtml pipeline as a pipeline, G. Branden Robinson, 2024/03/22
- Re: Running the grohtml pipeline as a pipeline, Alejandro Colomar, 2024/03/22
- Re: Running the grohtml pipeline as a pipeline, G. Branden Robinson, 2024/03/22
- Re: Running the grohtml pipeline as a pipeline, Alejandro Colomar, 2024/03/22
- Re: Running the grohtml pipeline as a pipeline, G. Branden Robinson, 2024/03/22
- Re: Running the grohtml pipeline as a pipeline, Alejandro Colomar, 2024/03/22
- Re: Running the grohtml pipeline as a pipeline, G. Branden Robinson, 2024/03/22
- Re: Running the grohtml pipeline as a pipeline,
Alejandro Colomar <=
- The varieties of mdoc experience (was: Running the grohtml pipeline as a pipeline), G. Branden Robinson, 2024/03/23