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 /Documentation | |
| parent | check-docs: factor out command-list (diff) | |
| download | tgif-eb28501e15c069d61c7dd7601fad2655449ebb14.tar.xz | |
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 'Documentation')
0 files changed, 0 insertions, 0 deletions