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

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

2012-08-08 Thread Junio C Hamano
Jeff King 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

[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 upda