From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 25 Mar 2019 21:41:39 +0000 (-0700)
Subject: check-docs: fix for setups where executables have an extension
X-Git-Tag: v2.22.0-rc0~84^2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5ee42463399ca3cc75b7e6e4368a3a5df5b010f2;p=thirdparty%2Fgit.git

check-docs: fix for setups where executables have an extension

On Windows, for example, executables (must) have the extension `.exe`.
Our `check-docs` target was not prepared for that.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---

diff --git a/Makefile b/Makefile
index 02a29dfb57..8654c130f8 100644
--- a/Makefile
+++ b/Makefile
@@ -3057,7 +3057,7 @@ ALL_COMMANDS += git-gui git-citool
 .PHONY: check-docs
 check-docs::
 	$(MAKE) -C Documentation lint-docs
-	@(for v in $(ALL_COMMANDS); \
+	@(for v in $(patsubst %$X,%,$(ALL_COMMANDS)); \
 	do \
 		case "$$v" in \
 		git-merge-octopus | git-merge-ours | git-merge-recursive | \
@@ -3087,7 +3087,7 @@ check-docs::
 		    -e 's/\.txt//'; \
 	) | while read how cmd; \
 	do \
-		case " $(ALL_COMMANDS) " in \
+		case " $(patsubst %$X,%,$(ALL_COMMANDS)) " in \
 		*" $$cmd "*)	;; \
 		*) echo "removed but $$how: $$cmd" ;; \
 		esac; \