John MacFarlane
5132f1ef33
T.P.RoffChar: escape - as \-.
...
The groff_man (7)` man page indicates that `-` characters will be
treated as typographic hyphens and are not appropriate for cases
where the output should be copy-pasteable as an ASCII
hyphen-minus character. (E.g. in command line options.)
However, until a recent update groff man did not actually do this;
it treated `-` and `\-` the same. With the new update (1.23.0)
the two are distinguished (see https://lwn.net/Articles/947941/
for background), so now it is important that pandoc escape `-`.
This reverts ee60ba5252 .
That change was motivated by a problem with backslash-escaping
`-` in a filename for .PSPIC. That's simply a separate issue;
we shouldn't do the normal escapes in such a context. It has
been addressed in the previous commit.
2023-11-02 19:36:25 -07:00
..
2023-11-02 19:36:25 -07:00
2023-08-18 17:50:59 -07:00
2023-06-06 16:08:14 -07:00
2023-01-13 09:13:27 -08:00
2022-11-02 09:23:09 -07:00
2023-01-29 16:40:32 -08:00
2022-01-02 14:58:55 -08:00
2021-09-28 21:17:53 -07:00
2023-10-17 21:22:53 -07:00
2023-10-22 10:59:07 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2022-01-03 14:19:53 -08:00
2023-03-05 12:23:32 -08:00
2023-03-22 08:32:48 -07:00
2023-03-22 08:32:48 -07:00
2022-02-04 23:51:12 -08:00
2022-02-04 10:36:58 -08:00
2021-09-28 21:17:53 -07:00
2023-08-05 11:54:31 -07:00
2023-08-05 11:54:31 -07:00
2023-10-17 09:16:00 -07:00
2023-10-17 09:16:00 -07:00
2021-09-28 21:17:53 -07:00
2021-11-07 21:08:20 -08:00
2021-09-28 21:17:53 -07:00
2023-08-27 10:57:09 -07:00
2023-08-27 10:57:09 -07:00
2023-08-19 09:52:01 -07:00
2023-08-19 09:52:01 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2022-09-14 22:23:45 +02:00
2022-07-30 08:56:44 -07:00
2023-01-13 09:13:27 -08:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2022-07-30 08:56:44 -07:00
2022-07-30 08:56:44 -07:00
2023-03-29 11:15:47 -07:00
2023-03-29 11:15:47 -07:00
2021-12-22 09:45:02 -08:00
2023-03-29 11:15:47 -07:00
2022-02-11 09:42:24 -08:00
2023-07-06 08:52:12 -07:00
2022-06-21 10:22:34 -07:00
2022-11-29 09:43:11 -08:00
2022-11-29 09:43:11 -08:00
2021-09-21 12:37:42 -07:00
2021-12-22 09:45:02 -08:00
2023-01-04 13:57:41 -08:00
2021-09-21 12:37:42 -07:00
2021-12-19 12:10:41 -08:00
2022-11-11 10:12:07 -08:00
2021-05-20 17:12:38 -07:00
2021-09-21 12:37:42 -07:00
2021-09-28 21:17:53 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2023-01-13 09:13:27 -08:00
2023-03-27 10:47:15 -07:00
2023-06-23 10:36:33 -07:00
2023-01-13 09:13:27 -08:00
2023-06-22 10:53:15 -07:00
2023-06-22 10:53:15 -07:00
2022-06-10 11:29:00 +02:00
2022-06-10 11:29:00 +02:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2023-10-27 10:34:28 -07:00
2023-07-06 12:20:20 -07:00
2023-08-22 13:33:10 -07:00
2021-09-28 21:17:53 -07:00
2023-07-05 09:10:36 -07:00
2023-07-05 09:10:36 -07:00
2023-02-12 13:32:40 -08:00
2022-11-29 10:16:41 -08:00
2022-11-29 10:16:41 -08:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-08-13 19:23:53 -07:00
2023-08-13 19:23:53 -07:00
2023-02-18 00:09:21 +01:00
2023-02-18 00:09:21 +01:00
2023-02-18 00:09:21 +01:00
2023-01-13 09:13:27 -08:00
2023-08-19 09:52:01 -07:00
2023-11-02 19:36:25 -07:00
2021-09-21 12:37:42 -07:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-11-02 19:36:25 -07:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-08-04 20:43:39 -07:00
2023-01-13 09:13:27 -08:00
2022-03-11 12:12:04 +01:00
2021-09-21 12:37:42 -07:00
2023-07-12 09:13:32 -07:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-10-20 12:18:46 -07:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-02-12 13:32:40 -08:00
2023-08-19 09:52:01 -07:00