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 <redacted>
---
Makefile | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 6ae868d..4b3c366 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 | \
--
1.7.12.rc2.36.gb1dc81b