]> git.ipfire.org Git - thirdparty/git.git/commit - Makefile
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 057ccba) | patch
check-docs: do not expect guide pages to correspond to commands
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 25 Mar 2019 21:41:38 +0000 (14:41 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 1 Apr 2019 05:01:09 +0000 (14:01 +0900)
commit8e6d69591a46b3cb37641f5e99c7fa8b7e896f00
tree5812ae7f8b82bf53ff8fa1fd81e837e423933e31tree | snapshot
parent057ccba593142e23338d9ff7409ab1cf20f25654commit | 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>
Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.