diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 19:44:09 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 19:44:09 +0000 |
commit | 5e707dc6ca775854c09fef2729e0be1d997399a5 (patch) | |
tree | e676fd1b87f19e374fb51d8ee2d47742c8c8c02f /debian/mandoc.local | |
parent | Adding upstream version 1.23.0. (diff) | |
download | groff-5e707dc6ca775854c09fef2729e0be1d997399a5.tar.xz groff-5e707dc6ca775854c09fef2729e0be1d997399a5.zip |
Adding debian version 1.23.0-3.debian/1.23.0-3
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | debian/mandoc.local | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/debian/mandoc.local b/debian/mandoc.local new file mode 100644 index 0000000..0e78ca5 --- /dev/null +++ b/debian/mandoc.local @@ -0,0 +1,28 @@ +. +.if n \{\ +. \" Debian: As of groff 1.23.0, the "-", "'", "`", "^", and "~" input +. \" characters are mapped to non-Basic Latin code points in output from +. \" the "utf8" device, for consistency with other output devices such as +. \" PDF. Unfortunately in practice this still causes far too much +. \" disruption for innocent users of manual pages who just want to be able +. \" to search for characters normally, so preserve the old behaviour. +. \" Comment this out if you want to make sure that manual pages you're +. \" writing are clear of these problems. +. if '\*[.T]'utf8' \{\ +. char - \- +. char ' \[aq] +. char ` \[ga] +. char ^ \[ha] +. char ~ \[ti] +. \} +. +. \" Debian: "\-" is more commonly used for option dashes than for minus +. \" signs in manual pages, so map it to plain "-" for HTML/XHTML output +. \" rather than letting it be rendered as "−". +. ie '\*[.T]'html' \ +. char \- \N'45' +. el \{\ +. if '\*[.T]'xhtml' \ +. char \- \N'45' +. \} +.\} |