John MacFarlane
a6fe02f46a
Man writer: improvements to code and code blocks.
...
The aim here (see #9020 ) is to produce more standard and more
portable man pages. To that end:
- We revert the fanciness introduced in #7506 , which employs a
custom font name V and a macro that makes this act like boldface
in a terminal and monospace in other formats. Unfortunately,
this code uses a mechanism that is not portable (and does not
work in mandoc).
- Instead of using V for inline code, we simply use CR.
Note that `\f[CR]` is emitted instead of plain `\f[C]`,
because there is no C font in man. (This produces warnings
in recent versions of groff.)
- For code blocks, we now use the `.EX` and `.EE` macros,
together with `.IP` for spacing and indentation. This gives
more standard code that can be better interpreted e.g. by mandoc.
2023-08-25 21:35:47 -07:00
..
2023-08-19 09:52:01 -07:00
2023-01-13 09:13:27 -08:00
2023-08-25 21:35:47 -07:00
2023-01-13 09:13:27 -08:00
2023-01-13 09:13:27 -08:00
2023-03-14 21:49:05 -07:00
2023-07-12 09:13:32 -07:00
2023-01-13 09:13:27 -08:00
2023-03-05 12:44:44 -08:00
2023-08-23 12:37:49 -07:00
2023-01-13 09:13:27 -08:00
2023-08-19 09:52:01 -07:00
2023-01-13 09:13:27 -08:00
2023-08-25 21:35:47 -07:00
2023-08-19 09:52:01 -07:00
2023-08-19 09:52:01 -07:00
2023-08-19 09:52:01 -07:00
2023-01-13 09:13:27 -08:00
2023-06-06 16:08:14 -07:00
2023-06-19 11:18:30 -07:00
2023-08-19 09:52:01 -07:00
2023-01-13 09:13:27 -08:00
2023-08-04 20:43:39 -07:00
2023-07-12 09:13:32 -07:00
2023-03-14 21:49:05 -07:00
2023-08-23 16:10:00 -07:00
2023-02-01 14:20:05 -08:00
2023-08-19 09:52:01 -07:00
2023-08-09 11:36:32 -07:00
2023-04-01 17:46:08 +02:00
2023-08-04 20:43:39 -07:00
2023-06-07 13:18:20 -07:00
2023-06-07 13:36:58 -07:00
2023-07-05 09:10:36 -07:00
2023-01-05 21:14:02 -08:00
2023-01-11 14:55:01 +01:00
2023-01-16 18:21:36 +01:00
2023-01-23 12:48:49 -08:00
2023-02-09 20:02:39 -08:00
2023-02-22 09:26:26 +01:00
2023-02-24 09:55:25 -08:00
2023-03-01 12:20:47 +01:00
2023-03-01 09:25:31 -08:00
2023-07-05 09:10:36 -07:00
2023-03-13 17:31:12 +01:00
2023-03-26 11:09:58 -07:00
2023-03-20 19:42:43 -07:00
2023-04-05 08:03:46 -07:00
2023-06-22 10:46:56 -07:00
2023-08-05 11:48:29 -07:00
2023-05-04 11:52:04 +02:00
2023-05-04 11:36:10 +02:00
2023-07-27 09:56:56 -06:00
2023-07-19 15:21:39 -07:00
2023-08-21 11:29:27 -07:00
2023-08-05 23:00:14 -07:00
2023-08-09 12:09:41 -07:00
2023-08-18 10:00:49 -07:00
2023-08-18 17:50:59 -07:00
2023-08-18 17:50:59 -07:00
2023-08-23 16:10:00 -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-02-18 00:09:21 +01: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-01-13 09:13:27 -08: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-01-13 09:13:27 -08:00
2023-03-05 12:44:44 -08:00
2023-07-11 10:59:33 -07:00
2023-02-01 09:17:45 -08:00
2023-01-13 09:13:27 -08:00
2023-03-29 19:13:39 +02:00
2023-01-15 10:46:55 -08:00
2023-01-15 10:46:55 -08:00