check-docs: really look at the documented commands again

diff --git a/Makefile b/Makefile
index c5240942f29e788ac08daa9329de52aaa3415708..7bcb66fd2177d520583cfece2d773c0bb01deea1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3082,7 +3082,7 @@ check-docs::
                    -e 's/^/listed /' command-list.txt; \
                $(MAKE) -C Documentation print-man1 | \
                grep '\.txt$$' | \
-               sed -e 's|Documentation/|documented |' \
+               sed -e 's|^|documented |' \
                    -e 's/\.txt//'; \
        ) | while read how cmd; \
        do \