diff options
| author | Federico Vaga <federico.vaga@vaga.pv.it> | 2018-06-06 00:48:59 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2018-06-26 09:07:57 -0600 |
| commit | f3821276f62c80184f4b7543e423ec5c7f43bbe1 (patch) | |
| tree | 23e989cedbcc4c6fec5a9377c1691b8a0c1e2346 /Documentation/sphinx | |
| parent | c1ec85ff408db77f5c97ae71b8854faed40e89f1 (diff) | |
doc:sphinx: fix parse-header description
The description speaks about the option ``--man`` but it
does not exist. Instead, there is the option ``--usage``
$ ./Documentation/sphinx/parse-headers.pl --man
Unknown option: man
Usage:
parse_headers.pl [<options>] <C_FILE> <OUT_FILE> [<EXCEPTIONS_FILE>]
Where <options> can be: --debug, --help or --man.
Signed-off-by: Federico Vaga <federico.vaga@vaga.pv.it>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/sphinx')
| -rwxr-xr-x | Documentation/sphinx/parse-headers.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/sphinx/parse-headers.pl b/Documentation/sphinx/parse-headers.pl index d410f47567e9..c518050ffc3f 100755 --- a/Documentation/sphinx/parse-headers.pl +++ b/Documentation/sphinx/parse-headers.pl @@ -344,7 +344,7 @@ enums and defines and create cross-references to a Sphinx book. B<parse_headers.pl> [<options>] <C_FILE> <OUT_FILE> [<EXCEPTIONS_FILE>] -Where <options> can be: --debug, --help or --man. +Where <options> can be: --debug, --help or --usage. =head1 OPTIONS |