man -TX100-12 sets the font size incorrectly

[Schwarz, Konrad]

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