diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-05-10 10:46:42 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-10 19:52:47 +0900 |
commit | cfb22a02ab52a5e8b74139efad8e0a10bd95f149 (patch) | |
tree | 257b1a0491c8886a1ea2210db9b350d8bf8028ee /command-list.txt | |
parent | f318d7391592f153d1682d01ebaa2d35e3b6ede7 (diff) | |
download | git-cfb22a02ab52a5e8b74139efad8e0a10bd95f149.tar.gz |
help: use command-list.h for common command list
The previous commit added code generation for all_cmd_desc[] which
includes almost everything we need to generate common command list.
Convert help code to use that array instead and drop common_cmds[] array.
The description of each common command group is removed from
command-list.txt. This keeps this file format simpler. common-cmds.h
will not be generated correctly after this change due to the
command-list.txt format change. But it does not matter and
common-cmds.h will be removed.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'command-list.txt')
-rw-r--r-- | command-list.txt | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/command-list.txt b/command-list.txt index 786536aba0..3bd23201a6 100644 --- a/command-list.txt +++ b/command-list.txt @@ -1,13 +1,3 @@ -# common commands are grouped by themes -# these groups are output by 'git help' in the order declared here. -# map each common command in the command list to one of these groups. -### common groups (do not change this line) -init start a working area (see also: git help tutorial) -worktree work on the current change (see also: git help everyday) -info examine the history and state (see also: git help revisions) -history grow, mark and tweak your common history -remote collaborate (see also: git help workflows) - ### command list (do not change this line, also do not change alignment) # command name category [category] [category] git-add mainporcelain worktree |