Re: [PATCH 3/7] check-docs: do not pretend that commands are listed which are excluded

2019-04-18 Thread Johannes Schindelin
Hi Junio, On Mon, 15 Apr 2019, Junio C Hamano wrote: > "Johannes Schindelin via GitGitGadget" > writes: > > > From: Johannes Schindelin > > Subject: Re: [PATCH 3/7] check-docs: do not pretend that commands are > > listed which are excluded > > Sorry

Re: [PATCH 3/7] check-docs: do not pretend that commands are listed which are excluded

2019-04-15 Thread Junio C Hamano
"Johannes Schindelin via GitGitGadget" writes: > From: Johannes Schindelin > Subject: Re: [PATCH 3/7] check-docs: do not pretend that commands are listed > which are excluded Sorry, but I cannot quite parse the title. I am guessing that you meant "do not pretend

[PATCH 3/7] check-docs: do not pretend that commands are listed which are excluded

2019-04-12 Thread Johannes Schindelin via GitGitGadget
From: Johannes Schindelin In the previous commit, we taught `git help -a` to stop listing commands that are excluded from the build. In this commit, we stop `check-docs` from claiming that those commands are listed. Signed-off-by: Johannes Schindelin --- Makefile | 1 + 1 file changed, 1 inse