summaryrefslogtreecommitdiff
path: root/Documentation/doc-guide
diff options
context:
space:
mode:
authorFederico Vaga <federico.vaga@vaga.pv.it>2018-06-06 00:48:59 +0200
committerJonathan Corbet <corbet@lwn.net>2018-06-26 09:07:57 -0600
commitf3821276f62c80184f4b7543e423ec5c7f43bbe1 (patch)
tree23e989cedbcc4c6fec5a9377c1691b8a0c1e2346 /Documentation/doc-guide
parentc1ec85ff408db77f5c97ae71b8854faed40e89f1 (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.rst2
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