> So thank you for the tip. I disabled the fonts in the /devps/download file
> and it went from 12MB to 92K so that is already a big step forward.
> Is there a better way to disable the embedding of fonts ?
Not that I'm aware of.
> Because I still see a lot of this :
> "
> grops begin/DEFS 1 di
Hello Branden,
On 1/21/21 7:12 AM, G. Branden Robinson wrote:
> [looping in groff@ because I'm characterizing an unresolved argument and
> people may want to dispute my claims]
>
> Hi Michael!
>
> At 2021-01-20T22:03:12+0100, Michael Kerrisk (man-pages) wrote:
>> Hi Branden,
>>
>> I wonder if I
On Thursday, 21 January 2021 11:03:13 GMT Michael Kerrisk (man-pages) wrote:
> > And I mean copy-and-paste not just from PDF but from a terminal window.
>
> Yes, but I have a question: "\-1" renders in PDF as a long dash
> followed by a "1". This looks okay in PDF, but if I copy and paste
> into a
On Thu, 21 Jan 2021 14:46:24 +1100
"G. Branden Robinson" wrote:
> It would be really nice if tbl(1) could output HTML itself.
Hmm, from 10,000 feet that doesn't look terribly hard. Certainly tbl
input provides all the requisite information needed for an HTML table.
mandoc claims to do it alread
Hi,
there seems to be at least one effort, 20 years ago, to produce true
HTML output. I located "troffcvt: troff-to-XXX Conversion Software" by
Paul DuBois. If I understand correctly, this was/is available in Ubuntu
distributions.
Here is the link: http://www.snake.net/software/troffcvt/
Haven'
Hi Michael!
At 2021-01-21T12:03:13+0100, Michael Kerrisk (man-pages) wrote:
> I appreciate your long answer *very* much. But, I'm glad you started
> with the short answer :-).
Cool! But beware, from such pressures is the practice of top-replying
born... ;-)
> > Another issue to consider is tha
