man-db-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: man -TX100-12 sets the font size incorrectly


From: Schwarz, Konrad
Subject: RE: man -TX100-12 sets the font size incorrectly
Date: Tue, 2 Jun 2020 09:08:14 +0000

> -----Original Message-----
> From: Colin Watson <cjwatson@debian.org>
> Sent: Sunday, May 31, 2020 11:49
> To: Schwarz, Konrad (CT RDA IOT SES-DE) <konrad.schwarz@siemens.com>
> Cc: man-db-devel@nongnu.org
> Subject: Re: man -TX100-12 sets the font size incorrectly
> 
> On Fri, May 29, 2020 at 06:03:24PM +0000, Schwarz, Konrad wrote:
> > I'm pretty sure man(1) is not calling groff correctly when a 12 point
> > font size (via a device of "X75-12" or "X100-12") is requested.
> [...]
> > Please change the man driver program to add the "-rS12" argument to
> > groff when invoked with one of the 12 point device options!
> 
> Thanks for your report.  Fixed in master:
> 
>   
> https://git.savannah.gnu.org/cgit/man-db.git/commit/?id=de261ad33beff3bba85a05cdb9d4599f9669f684
> 
> --
> Colin Watson (he/him)                              [cjwatson@debian.org]

Hi,

thank you very much.

Just for completeness: since the change is when "TROFF_IS_GROFF", I did a 
(very) quick check of Solaris, FreeBSD and AIX man/troff and it seems like only 
groff supports the -TX... options.  So the patch is correct as it stands.

Regards,

Konrad Schwarz



reply via email to

[Prev in Thread] Current Thread [Next in Thread]