Skip to content

Commit 8e6d695

Browse files
dschogitster
authored andcommitted
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 <[email protected]> Signed-off-by: Junio C Hamano <[email protected]>
1 parent 057ccba commit 8e6d695

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3078,6 +3078,7 @@ check-docs::
30783078
( \
30793079
sed -e '1,/^### command list/d' \
30803080
-e '/^#/d' \
3081+
-e '/guide$$/d' \
30813082
-e 's/[ ].*//' \
30823083
-e 's/^/listed /' command-list.txt; \
30833084
$(MAKE) -C Documentation print-man1 | \

0 commit comments

Comments
 (0)