From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 18 Apr 2019 13:16:42 +0000 (-0700)
Subject: check-docs: allow command-list.txt to contain excluded commands
X-Git-Tag: v2.22.0-rc0~20^2~4
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/7c3bd713b1f4872e4fc95397e6845b7f9e0b89a5?ds=inline;hp=--cc

check-docs: allow command-list.txt to contain excluded commands

Among other things, the `check-docs` target ensures that
`command-list.txt` no longer contains commands that were dropped (or
that were never added in the first place).

To do so, it compares the list of commands from that file to the
commands listed in `$(ALL_COMMANDS)`.

However, some build options exclude commands from the latter. Fix the
target to handle this situation correctly by taking the just-introduced
`$(EXCLUDED_PROGRAMS)` into account.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---

7c3bd713b1f4872e4fc95397e6845b7f9e0b89a5
diff --git a/Makefile b/Makefile
index e7bcfcaae9..d83104d884 100644
--- a/Makefile
+++ b/Makefile
@@ -3089,7 +3089,7 @@ check-docs::
 		    -e 's/\.txt//'; \
 	) | while read how cmd; \
 	do \
-		case " $(patsubst %$X,%,$(ALL_COMMANDS)) " in \
+		case " $(patsubst %$X,%,$(ALL_COMMANDS) $(EXCLUDED_PROGRAMS)) " in \
 		*" $$cmd "*)	;; \
 		*) echo "removed but $$how: $$cmd" ;; \
 		esac; \