summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJeff King <peff@peff.net>2012-08-08 16:56:42 -0400
committerJunio C Hamano <gitster@pobox.com>2012-08-08 14:31:41 -0700
commiteb28501e15c069d61c7dd7601fad2655449ebb14 (patch)
treec7c4bc2dc1d2187363a1dbfb61f173c1a6873c76 /Makefile
parentcf6aaff3771916e71bac0ced545ec420b768f172 (diff)
downloadgit-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--Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 6ae868d764..4b3c36600c 100644
--- a/Makefile
+++ b/Makefile
@@ -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 | \