check-docs: do not expect guide pages to correspond to commands

diff --git a/Makefile b/Makefile
index 7bcb66fd2177d520583cfece2d773c0bb01deea1..02a29dfb5719d4719a274896a5c6a3285a333eca 100644 (file)
--- 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 | \