Re: [PATCH v2 0/5] Fix make check-docs on Windows

2019-03-26 Thread Johannes Schindelin
Hi, On Mon, 25 Mar 2019, Johannes Schindelin via GitGitGadget wrote: > Johannes Schindelin (5): > docs: move gitremote-helpers into section 7 > docs: do not document the `git remote-testgit` command > check-docs: really look at the documented commands again > check-docs: do not expect gui

[PATCH v2 0/5] Fix make check-docs on Windows

2019-03-25 Thread Johannes Schindelin via GitGitGadget
I stumbled across this when investigating one of Duy's bugs in the CI builds. Changes since v1: * We no longer add an extra space in front of the $(patsubst ...) in the second loop, but fix the underlying bug that prevented check-docs' part from working where it discovered documented comma