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 /Makefile | |
parent | cf6aaff3771916e71bac0ced545ec420b768f172 (diff) | |
download | git-eb28501e15c069d61c7dd7601fad2655449ebb14.tar.gz |
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 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -2808,6 +2808,7 @@ ALL_COMMANDS = $(ALL_PROGRAMS) $(SCRIPT_LIB) $(BUILT_INS) ALL_COMMANDS += git ALL_COMMANDS += gitk ALL_COMMANDS += gitweb +ALL_COMMANDS += git-gui git-citool check-docs:: @(for v in $(ALL_COMMANDS); \ do \ @@ -2837,8 +2838,6 @@ check-docs:: ) | while read how cmd; \ do \ case "$$how,$$cmd" in \ - *,git-citool | \ - *,git-gui | \ *,git-help | \ documented,gitattributes | \ documented,gitignore | \ |