Re: [PATCH] compare header files before installing

[Tom Tromey]

>>>>> "Hari" == Raja R Harinath <[EMAIL PROTECTED]> writes:

Hari> One approach would be to use $(INSTALL_HEADER) which defaults to
Hari> $(INSTALL_DATA), and allow users to specify a special installer
Hari> if they choose.  Of course, it would be nice if 'install' in
Hari> fileutils could be extended to provide a --only-if-change
Hari> option.

I'm only 6 months late on this.  I added INSTALL_HEADER.  There's no
good place to document it yet though :-(.  I added a TODO item about
the docs.

Tom