Subject: [PATCH 0/1] Fix make check-docs on Windows

From: "Johannes Schindelin via GitGitGadget" <[email-masked]>
Date: Wed, 13 Mar 2019 04:56:52 -0700 (PDT)

I stumbled across this when investigating one of Duy's bugs in the CI
builds.

Johannes Schindelin (1):
  check-docs: fix for setups where executables have an extension

 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

base-commit: e902e9bcae2010bc42648c80ab6adc6c5a16a4a5
Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-162%2Fdscho%2Fcheck-docs-on-windows-v1
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-162/dscho/check-docs-on-windows-v1
Pull-Request: https://github.com/gitgitgadget/git/pull/162
-- 
gitgitgadget