[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: man -TX100-12 sets the font size incorrectly
|
From: |
Colin Watson |
|
Subject: |
Re: man -TX100-12 sets the font size incorrectly |
|
Date: |
Sun, 31 May 2020 10:49:05 +0100 |
|
User-agent: |
Mutt/1.10.1 (2018-07-13) |
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]