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/doc-guide | |
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/doc-guide')
-rw-r--r-- | Documentation/doc-guide/parse-headers.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/doc-guide/parse-headers.rst b/Documentation/doc-guide/parse-headers.rst index 684490c68acb..24cfaa15dd81 100644 --- a/Documentation/doc-guide/parse-headers.rst +++ b/Documentation/doc-guide/parse-headers.rst @@ -32,7 +32,7 @@ SYNOPSIS \ **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. OPTIONS |