allow double click on current HEAD id after git-pull
[git.git] / generate-cmdlist.sh
blob6ee85d5a5316d21c930bb31ba8fac4c651253ac0
1 #!/bin/sh
3 echo "/* Automatically generated by $0 */
4 struct cmdname_help
6 char name[16];
7 char help[64];
8 };
10 struct cmdname_help common_cmds[] = {"
12 sort <<\EOF |
13 add
14 apply
15 bisect
16 branch
17 checkout
18 cherry-pick
19 clone
20 commit
21 diff
22 fetch
23 grep
24 init-db
25 log
26 merge
28 prune
29 pull
30 push
31 rebase
32 reset
33 revert
35 show
36 show-branch
37 status
38 tag
39 verify-tag
40 whatchanged
41 EOF
42 while read cmd
44 sed -n "/NAME/,/git-$cmd/H;
45 \$ {x; s/.*git-$cmd - \\(.*\\)/ {\"$cmd\", \"\1\"},/; p}" \
46 "Documentation/git-$cmd.txt"
47 done
48 echo "};"