diff options
| author | Colin Watson <cjwatson@debian.org> | 2020-05-31 10:11:53 +0100 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2020-05-31 10:13:47 +0100 |
| commit | de261ad33beff3bba85a05cdb9d4599f9669f684 (patch) | |
| tree | a9f35e71b603f5c260f686cd26d0a0cb7c881d7c | |
| parent | ba7bdd0701fbd024f47f208d8885b5c8e6bc1f71 (diff) | |
| download | man-db-de261ad33beff3bba85a05cdb9d4599f9669f684.tar.gz | |
Fix document font size for -X75-12 and -X100-12
Reported by Konrad Schwarz.
* src/man.c (make_roff_command): Add the "-rS12" argument if the
argument to -X contains "-12".
* NEWS: Document this.
| -rw-r--r-- | NEWS | 4 | ||||
| -rw-r--r-- | src/man.c | 5 |
2 files changed, 8 insertions, 1 deletions
@@ -8,6 +8,10 @@ Major changes since man-db 2.9.1: * Add a bug tracker link to man-db's own manual pages. + * Fix "man -X75-12" and "man -X100-12" to set the document font size + (using "-rS12") as well as the device (using "-TX75-12" or + "-TX100-12"). + man-db 2.9.1 (25 February 2020) =============================== @@ -1356,8 +1356,11 @@ static pipeline *make_roff_command (const char *dir, const char *file, pipecmd_argf (cmd, "-T%s", roff_device); #ifdef TROFF_IS_GROFF - else if (gxditview) + else if (gxditview) { pipecmd_argf (cmd, "-TX%s", gxditview); + if (strstr (gxditview, "-12")) + pipecmd_argf (cmd, "-rS12"); + } #endif /* TROFF_IS_GROFF */ } |
