[PATCH] Don't reinstall include files if identical files are already installed

* build/generator/gen_make.py
 (gen_make.Generator.write): Don't reinstall include files if
identical files are already installed. I implemented this by making
the installed include files dependencies of install-include.

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org