diff options
| author | Jeff King <peff@peff.net> | 2012-08-08 16:56:42 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-08-08 14:31:41 -0700 |
| commit | eb28501e15c069d61c7dd7601fad2655449ebb14 (patch) | |
| tree | c7c4bc2dc1d2187363a1dbfb61f173c1a6873c76 /contrib/git-shell-commands | |
| parent | cf6aaff3771916e71bac0ced545ec420b768f172 (diff) | |
check-docs: list git-gui as a command
git-gui is already documented and mentioned in command-list,
but adding it to the Makefile makes sure it is so. We also
add its alias git-citool (which is also documented).
As a result, we can drop them from the special case
statement that avoids them being listed as "documented but
does not exist".
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/git-shell-commands')
0 files changed, 0 insertions, 0 deletions