diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-03-25 14:41:39 -0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-04-01 14:01:11 +0900 |
| commit | 5ee42463399ca3cc75b7e6e4368a3a5df5b010f2 (patch) | |
| tree | e4872ab520ec5d3d65ee701e757e1225bd271d50 /Makefile | |
| parent | check-docs: do not expect guide pages to correspond to commands (diff) | |
| download | tgif-5ee42463399ca3cc75b7e6e4368a3a5df5b010f2.tar.xz | |
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>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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; \ |