From: Johannes Schindelin <johannes.schindelin@xxxxxx> 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 <johannes.schindelin@xxxxxx> --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 8f3c477ab3..5880d4d3a9 100644 --- a/Makefile +++ b/Makefile @@ -3085,6 +3085,7 @@ check-docs:: ( \ sed -e '1,/^### command list/d' \ -e '/^#/d' \ + $(patsubst %,-e '/^% /d',$(EXCLUDED_PROGRAMS)) \ -e '/guide$$/d' \ -e 's/[ ].*//' \ -e 's/^/listed /' command-list.txt; \ -- gitgitgadget
