diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2022-08-04 18:28:32 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-08-04 23:12:23 +0200 |
commit | dba1e5392f431e57d6a8daacf879a255b49d57fb (patch) | |
tree | 1b95137e891c5fe2291efbc6ca331e17718ac71a /command-list.txt | |
parent | help.c: remove common category behavior from drop_prefix() behavior (diff) | |
download | git-dba1e5392f431e57d6a8daacf879a255b49d57fb.tar.xz git-dba1e5392f431e57d6a8daacf879a255b49d57fb.zip |
git help doc: use "<doc>" instead of "<guide>"
Replace the use of "<guide>" originally introduced (as "GUIDE") in
a133737b809 (doc: include --guide option description for "git help",
2013-04-02) with the more generic "<doc>". The "<doc>" placeholder is
more generic, and one we'll be able to use as we introduce new
documentation categories.
Let's also add "<doc>" to the "git help -h" output, when it was made
to use parse_option() in in 41eb33bd0cb (help: use parseopt,
2008-02-24).
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'command-list.txt')
0 files changed, 0 insertions, 0 deletions