Re: [Groff] [patch] unbreak make install

[Ralph Corderoy]

Hi Igno,

> If "make dist" isn't run before commit (or the result ignored, or run
> in a way that is ineffective for finding problems), what makes you
> think that "make distcheck" would be used well if it existed?

Well, quite right.  Hopefully, the few committers will learn to adopt
that habit, perhaps through their own commit script which does a bunch
of checks before the actual commit, e.g. not adding end-of-line spaces.

Cheers, Ralph.