check-docs: list git-gui as a command
authorJeff King <peff@peff.net>
Wed, 8 Aug 2012 20:56:42 +0000 (16:56 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 8 Aug 2012 21:31:41 +0000 (14:31 -0700)
commiteb28501e15c069d61c7dd7601fad2655449ebb14
treec7c4bc2dc1d2187363a1dbfb61f173c1a6873c76
parentcf6aaff3771916e71bac0ced545ec420b768f172
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>
Makefile