Jim Meyering wrote:
> I learned long enough ago that
> files like Makefile, Makefile.in, configure, etc. are generated,
> so that their being writable isn't a big deal.  But still, for
> novices, ...

Would it help you if we consequently mark every generated file (except
generated doc - info, html, pdf, ps) with

    DO NOT EDIT! GENERATED AUTOMATICALLY!

in the first or second line?

Bruno


Reply via email to