From: Johannes Schindelin <johannes.schinde...@gmx.de>
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.schinde...@gmx.de>
---
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
