Ed Santiago ad7c54e13a
man page checker: enforce stricter options format ...
Followup to #14906 , in which a nonexistent option was found
in a man page. The xref script was designed to catch that,
but I was too lax in my parsing: the option was documented
using wrong syntax, and the script didn't catch it.
Solution: do not allow *any* unrecognized cruft in the
option description lines. And fix all improperly-written
entries to conform to the rule:
**--option**=*value(s)*
Two asterisks around option, which must have two dashes. One
asterisk around value(s).
This is going to cause headaches for some people adding new
options, but I don't think I can fix that: there are many
factors that make an unparseable line. Adding 'hint' code
would make the script even more complex than it is. I have
to assume that our contributors are smart enough to look
at surrounding context and figure out the right way to
specify options.
Signed-off-by: Ed Santiago <santiago@redhat.com>
2022-07-14 06:35:51 -06:00
2022-07-13 15:27:03 +01:00
2022-01-28 08:14:05 -05:00
2022-05-11 13:14:08 -06:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2021-11-11 16:17:41 +01:00
2022-04-20 18:55:39 +01:00
2022-06-22 18:39:21 +02:00
2022-07-13 14:54:57 +00:00
2022-01-28 08:14:05 -05:00
2022-01-24 19:34:36 +01:00
2022-04-12 13:35:51 -04:00
2022-01-27 07:19:02 -05:00
2022-04-20 18:55:39 +01:00
2022-03-23 13:49:42 -06:00
2022-06-22 18:39:21 +02:00
2022-06-10 09:42:19 +02:00
2022-07-14 06:35:51 -06:00
2022-01-28 08:14:05 -05:00
2022-07-13 10:55:27 -04:00
2022-06-19 09:56:46 +02:00
2022-03-23 13:49:42 -06:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2022-05-11 13:14:08 -06:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2022-01-27 07:19:02 -05:00
2022-06-02 16:05:05 -04:00
2022-03-23 13:49:42 -06:00
2021-11-10 09:29:21 -05:00
2022-07-14 06:35:51 -06:00
2022-04-22 06:18:20 -04:00
2021-11-10 09:29:21 -05:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2022-04-04 22:46:28 +02:00
2022-03-23 13:49:42 -06:00
2022-05-25 13:28:04 -04:00
2022-07-14 06:35:51 -06:00
2022-07-13 15:27:03 +01:00
2022-03-23 13:49:42 -06:00
2022-01-28 08:14:05 -05:00
2022-03-23 13:49:42 -06:00
2022-03-29 17:29:13 +02:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2022-06-29 09:19:09 -04:00
2022-06-29 09:19:09 -04:00
2022-06-29 09:19:09 -04:00
2022-07-14 06:35:51 -06:00
2022-06-29 09:19:09 -04:00
2022-06-29 09:19:09 -04:00
2022-06-29 09:19:09 -04:00
2022-07-05 15:18:41 -04:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2022-03-23 13:49:42 -06:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2022-01-28 08:14:05 -05:00
2021-12-14 15:23:39 +01:00
2022-07-14 06:35:51 -06:00
2021-11-10 09:29:21 -05:00
2022-01-24 19:34:36 +01:00
2022-02-15 16:46:23 +01:00
2022-06-21 17:50:55 +02:00
2022-03-28 21:56:13 +02:00
2022-04-25 11:53:57 -04:00
2022-02-15 16:46:23 +01:00
2022-02-15 16:46:23 +01:00
2021-11-10 09:29:21 -05:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2021-11-10 09:29:21 -05:00
2022-07-14 06:35:51 -06:00
2022-04-04 22:46:28 +02:00
2022-03-29 17:29:13 +02:00
2022-03-28 21:56:13 +02:00
2021-11-10 09:29:21 -05:00
2022-03-23 13:49:42 -06:00
2022-01-28 08:14:05 -05:00
2022-04-05 23:40:07 +02:00
2022-04-05 23:40:07 +02:00
2022-03-23 13:49:42 -06:00
2022-03-23 13:49:42 -06:00
2022-01-28 08:14:05 -05:00
2022-04-05 23:40:07 +02:00
2022-06-10 14:23:19 -04:00
2022-06-22 18:39:21 +02:00
2022-03-23 13:49:42 -06:00
2022-04-25 11:53:57 -04:00
2022-07-14 06:35:51 -06:00
2022-02-02 18:07:10 -05:00
2021-11-10 09:29:21 -05:00
2022-01-28 08:14:05 -05:00
2022-03-23 13:49:42 -06:00
2022-03-19 10:05:43 +01:00
2022-07-14 06:35:51 -06:00
2022-03-23 13:49:42 -06:00
2022-04-28 09:40:46 +02:00
2022-03-23 13:49:42 -06:00
2021-11-10 09:29:21 -05:00
2022-03-23 13:49:42 -06:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2022-03-23 13:49:42 -06:00
2022-07-14 06:35:51 -06:00
2022-01-28 08:14:05 -05:00
2022-07-14 06:35:51 -06:00
2021-11-10 09:29:21 -05:00
2022-05-11 13:14:08 -06:00
2022-07-14 06:35:51 -06:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2021-11-10 09:29:21 -05:00
2022-06-14 14:04:03 +09:00
2021-11-10 09:29:21 -05:00
2022-05-04 10:31:42 -04:00
2022-06-16 09:56:44 -04:00
2022-06-14 14:04:03 +09:00
2021-11-10 09:29:21 -05:00
2022-01-28 08:14:05 -05:00
2022-03-28 21:56:13 +02:00
2022-03-28 21:56:13 +02:00
2022-03-22 17:54:37 +01:00
2022-01-24 19:34:36 +01:00
2022-03-23 13:49:42 -06:00
2022-07-14 06:35:51 -06:00
2022-01-24 19:34:36 +01:00
2022-03-23 13:49:42 -06:00
2022-05-30 18:10:28 +02:00
2022-07-14 06:35:51 -06:00
2022-07-14 06:35:51 -06:00
2022-02-28 14:26:22 -05:00
2022-03-23 13:49:42 -06:00
2022-06-23 18:36:30 +02:00
2021-11-10 09:29:21 -05:00
2022-03-28 21:56:13 +02:00
2022-06-23 18:36:30 +02:00
2022-01-28 08:14:05 -05:00
2022-07-13 15:27:03 +01:00
ad7c54e13a