[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
man -TX100-12 sets the font size incorrectly
From: |
Schwarz, Konrad |
Subject: |
man -TX100-12 sets the font size incorrectly |
Date: |
Fri, 29 May 2020 18:03:24 +0000 |
Hi,
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.
To quote the gxditview man page:
The best results are achieved with the X* devices for groff's option -T.
There are four X* devices: -TX75, -TX75-12, -TX100, -TX100-12. They
differ by the X resolution (75dpi or 100dpi) and the used base font size
(10pt or 12pt). They are especially built for gxditview. When using one
of
them groff generates the intermediate output for this device and calls
gxditview automatically for viewing. For example, to view this man page
with a base resolution of 12pt, say
groff -TX100-12 -man -rS12 gxditview.1
(option -rSXX is documented in the https://man.cx/groff_man(7) man
page).
I was unhappy with the output of "man -TX100-12" (the same as "man -X100-12")
and
invoked groff directly, adding the "-rS12" argument to set the base font size.
The additional "-rS12" argument makes the output markedly more legible: not only
was the font size increased compared to "-TX100" (which doesn't happen with
man "-TX100-12" at all!), but also the spacing e.g. when switching from roman
to italic was much improved. The spacing improvements may be because of flaws
in the 10-point fonts, though.
Please change the man driver program to add the "-rS12" argument to groff
when invoked with one of the 12 point device options!
--
Konrad Schwarz
- man -TX100-12 sets the font size incorrectly,
Schwarz, Konrad <=