check-docs: update non-command documentation list
commit1b7b522c2698ced2a60d5c26bf5b16e01bd45a75
authorJeff King <peff@peff.net>
Wed, 8 Aug 2012 18:34:33 +0000 (8 14:34 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 8 Aug 2012 19:11:53 +0000 (8 12:11 -0700)
tree36a5bb8dc158aca974c61f0a686e783a53c9db32
parent41c1709a56da5dd4f4f68268a91d2c55370826cd
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>
Makefile