>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:
Akim> Can we just stop producing automatically this line? There is
Akim> still @configure_input@ which should be used to output this
Akim> line.
Tom> I'd rather we keep producing it for Makefile at least.
I'm not strongly opposed to it, but I'm unsure to understand the use:
after all, if users have to change something in a Makefile, although
it should not happen, it is not incorrect, even though generated
automatically.
In addition, now that most projects are running Automake, Automake can
easily add
# @configure_input@
by itself.
Since it simplifies the code of config.status (yes, slightly, but it
does), since it simplifies the documentation, since it can trap some
people, I'm all for its removal. After all, maybe there are some
people who would just don't want that line, we complicate their task.
I agree though `Makefile' only would be a simple and safe rule, pretty
acceptable, but then, indeed, why not GNUmakefile too, and makefile
too and *.mk too etc. I'd like to get rid of it.
Akim
