From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 08 Aug 2012 19:13:11 GMT
Subject: Re: [PATCH 0/4] update "make check-docs"
Message-ID: <7v1ujhtcxk.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120808183132.GA24550@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> On Wed, Aug 08, 2012 at 09:58:33AM -0700, Junio C Hamano wrote:
>
>> There really should be an easier way for the maintainer to notice
>> this kind of glitch without being told (better yet, the submitter of
>> a new command to notice it).  Perhaps the check-docs target in the
>> Makefile needs some updating?
>
> Hmm. We have a check-docs command? :)

Yes, and there also is a check-builtins target.  Perhaps the default
build target should depend on them, as they are fairly lightweight?

> This patch series at least brings that up to date. It goes on top of
> Matthieu's patch.
>
>   [1/4]: check-docs: mention gitweb specially
>   [2/4]: check-docs: update non-command documentation list
>   [3/4]: command-list: add git-sh-i18n
>   [4/4]: command-list: mention git-credential-* helpers

Thanks.