summaryrefslogtreecommitdiff
path: root/commit.c
diff options
context:
space:
mode:
authorJohannes Schindelin <johannes.schindelin@gmx.de>2019-03-25 14:41:38 -0700
committerJunio C Hamano <gitster@pobox.com>2019-04-01 14:01:09 +0900
commit8e6d69591a46b3cb37641f5e99c7fa8b7e896f00 (patch)
tree5812ae7f8b82bf53ff8fa1fd81e837e423933e31 /commit.c
parent057ccba593142e23338d9ff7409ab1cf20f25654 (diff)
check-docs: do not expect guide pages to correspond to commands
When we want to see what commands are listed in `command-list.txt` but not installed, we currently include lines that refer to guides, e.g. `gitattributes` or `gitcli`. Let's not include those lines, as they are not referring to commands. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions