summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorColin Watson <cjwatson@debian.org>2020-05-31 10:11:53 +0100
committerColin Watson <cjwatson@debian.org>2020-05-31 10:13:47 +0100
commitde261ad33beff3bba85a05cdb9d4599f9669f684 (patch)
treea9f35e71b603f5c260f686cd26d0a0cb7c881d7c
parentba7bdd0701fbd024f47f208d8885b5c8e6bc1f71 (diff)
downloadman-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--NEWS4
-rw-r--r--src/man.c5
2 files changed, 8 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index f10562b..d73e3b7 100644
--- a/NEWS
+++ b/NEWS
@@ -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)
===============================
diff --git a/src/man.c b/src/man.c
index 24651d1..4366212 100644
--- a/src/man.c
+++ b/src/man.c
@@ -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 */
}