>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:
Akim> I'm not strongly opposed to it, but I'm unsure to understand the
Akim> use: after all, if users have to change something in a Makefile,
Akim> although it should not happen, it is not incorrect, even though
Akim> generated automatically.
Tom> It isn't incorrect but it can be surprising.
But do you think it is really helpful to know the files was generated
automatically? Do you really think that people who edit Makefile
don't know it's been generated by configure? (A real question, I
don't know how to ask it without sounding ironic :-( ).
Akim> In addition, now that most projects are running Automake
Tom> I doubt this is true.
OK.