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>

Johannes Schindelin committed Mar 25, 2019 at 14:41 UTC 5ee42463399ca3cc75b7e6e4368a3a5df5b010f2
1 file changed +2 -2
Makefile
+2 -2
@@ -3057,7 +3057,7 @@ ALL_COMMANDS += git-gui git-citool
3057 .PHONY: check-docs
3058 check-docs::
3059 $(MAKE) -C Documentation lint-docs
3060 - @(for v in $(ALL_COMMANDS); \
3060 + @(for v in $(patsubst %$X,%,$(ALL_COMMANDS)); \
3061 do \
3062 case "$$v" in \
3063 git-merge-octopus | git-merge-ours | git-merge-recursive | \
@@ -3087,7 +3087,7 @@ check-docs::
3087 -e 's/\.txt//'; \
3088 ) | while read how cmd; \
3089 do \
3090 - case " $(ALL_COMMANDS) " in \
3090 + case " $(patsubst %$X,%,$(ALL_COMMANDS)) " in \
3091 *" $$cmd "*) ;; \
3092 *) echo "removed but $$how: $$cmd" ;; \
3093 esac; \