[PATCH 0/4] update make check-docs

2012-08-08 Thread Jeff King 
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? :)

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

-Peff
--
To unsubscribe from this list: send the line unsubscribe git in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Re: [PATCH 0/4] update make check-docs

2012-08-08 Thread Jeff King 
On Wed, Aug 08, 2012 at 12:13:11PM -0700, Junio C Hamano wrote:

  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?

I think they would want some refactoring. Right now the target does not
fail if there are errors. Any output it generates would typically scroll
by in the mass of other build data, so it would be easy to miss.

-Peff
--
To unsubscribe from this list: send the line unsubscribe git in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html