Re: [PATCH 0/4] update "make check-docs"
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 8, 2012, 19:13 UTC
- Message-ID
- <7v1ujhtcxk.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20120808183132.GA24550@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 8 quoted lines
> 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?
Show 7 quoted lines
> 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.