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/index.rst | |
| 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/index.rst')
0 files changed, 0 insertions, 0 deletions