From: Jeff King <peff@peff.net>
Date: Wed, 8 Aug 2012 20:57:13 +0000 (-0400)
Subject: check-docs: drop git-help special-case
X-Git-Tag: v1.7.12.1~24^2~1
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=7d02b574f40b33d6abfecf8fed98cee94a738071;p=git.git

check-docs: drop git-help special-case

The check-docs target special-cases git-help to avoid
mentioning it as "documented but removed". This dates back
to the early implementation of git-help, when its code was
simply included inside git.c.

These days it is a full-fledged builtin (in builtin/help.c)
and does not need special-casing.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---

diff --git a/Makefile b/Makefile
index 4b3c36600..b9da51176 100644
--- a/Makefile
+++ b/Makefile
@@ -2838,7 +2838,6 @@ check-docs::
 	) | while read how cmd; \
 	do \
 		case "$$how,$$cmd" in \
-		*,git-help | \
 		documented,gitattributes | \
 		documented,gitignore | \
 		documented,gitmodules | \