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 | \