check-docs: update non-command documentation list

The check-docs target looks at Documentation/git*txt and
complains if any entry does not have a matching command.
Therefore we need to explicitly ignore any entries which are
not meant to describe a command (like gitattributes.txt).
This list has grown stale over time, so let's bring it up to
date.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Makefile b/Makefile
index 5e773cd4312a35746eb1d68c49fe574aff2bf88f..41d9db86ae456207769c413981950b9144bb2062 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2853,6 +2853,9 @@ check-docs::
                documented,git-bisect-lk2009 | \
                documented,git-remote-helpers | \
                documented,gitworkflows | \
+               documented,gitcredentials | \
+               documented,gitnamespaces | \
+               documented,gitweb.conf | \
                sentinel,not,matching,is,ok ) continue ;; \
                esac; \
                case " $(ALL_PROGRAMS) $(SCRIPT_LIB) $(BUILT_INS) git gitk gitweb " in \