Re: Directs makeinfo and texi2html output to logfiles (issue 5645046)

[David Kastrup]

Julien Rioux <address@hidden> writes:

> On Wed, Feb 8, 2012 at 2:26 PM, Graham Percival
> <address@hidden> wrote:
>> On Wed, Feb 08, 2012 at 01:23:06PM -0000, Phil Holmes wrote:
>>> The reason I was suggesting an early push was that cleaning up make
>>> doc is a cumulative affair, and I find it easier to manage
>>> changes/patches if I don't have multiple differences from master in
>>> my build system.  I'd like to get one done and into master, then
>>> work on proving the next works.
>>
>> well... ok, I'm fine with that as long as Julien says it's ok.
>>
>> - Graham
>
> It seems that simple patches have been allowed to be pushed without
> review from time to time, but an inability to manage multiple patches
> locally should be no reason to do so.

"allowed" is the wrong word.  We have policies for good reasons, and
those policies have usually shown to make good sense.  But the "good
reasons" need not necessarily apply to every single case.  Since the
likelihood to discover afterwards that heeding the policy would have
been smarter after all is quite non-zero, exceptions are rather rare
by common agreement.  I am probably the person taking liberties with
our policies most often, usually because the effects of heeding them
would bog my present productivity down more than I can justify.

If you don't heed the policies and things go wrong, you can't expect
others to be overly enjoyed.

-- 
David Kastrup