summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
diff options
context:
space:
mode:
authorLibravatar Johannes Schindelin <johannes.schindelin@gmx.de>2019-04-18 06:16:42 -0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2019-04-19 14:03:24 +0900
commit7c3bd713b1f4872e4fc95397e6845b7f9e0b89a5 (patch)
treef9b1c092e453965d115cc779fd2f9862f3fb0c8a /Documentation/.gitignore
parenthelp -a: do not list commands that are excluded from the build (diff)
downloadtgif-7c3bd713b1f4872e4fc95397e6845b7f9e0b89a5.tar.xz
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>
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions