Re: keep git master clean

[Graham Percival]

On Wed, Dec 15, 2010 at 6:09 PM, Ralf Wildenhues <address@hidden> wrote:
> delurking for a moment ...
>
> * Carl Sorensen wrote on Wed, Dec 15, 2010 at 06:34:59PM CET:
>> In order to be sure a one-line patch doesn't break the build, we need to to
>> make doc-clean && make doc,
>
> That simply means that there is a bug in the build system, in that it
> doesn't track all dependencies.

Patches appreciated.

> The right way forward is to fix the
> build system, not punish (new nor old) contributors.

Until we can trust the build system, we shouldn't consider reverting a
patch to be punishment.  It's just a social workaround to a technical
bug which nobody has fixed (and frankly, which I doubt will ever be
fixed).

Cheers,
- Graham