From 8e6d69591a46b3cb37641f5e99c7fa8b7e896f00 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Mon, 25 Mar 2019 14:41:38 -0700 Subject: [PATCH] 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 Signed-off-by: Junio C Hamano --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 7bcb66fd21..02a29dfb57 100644 --- a/Makefile +++ b/Makefile @@ -3078,6 +3078,7 @@ check-docs:: ( \ sed -e '1,/^### command list/d' \ -e '/^#/d' \ + -e '/guide$$/d' \ -e 's/[ ].*//' \ -e 's/^/listed /' command-list.txt; \ $(MAKE) -C Documentation print-man1 | \