> I don't think it's a good idea for src/include/Makefile to remove
> anything in /usr/include anyway; what if a system administrator
> installs optional packages under /usr instead of /usr/local?

What if the sysadmin replaces /usr/sbin/sendmail with Eric Allman's
latest?  If the admin is tromping around in system-provided places,
it's up to said admin to tweak the installation procedures or else
expect hir changes to vanish.  /usr/include is one of the directories
owned by the system, and as such it is reasonable for doing a new
install from the source tree to destroy any localisms there.  Same as
/usr/sbin, though at present doing an install doesn't destroy localisms
in /usr/sbin, unless they happen to have the same name as something
being installed.  (/ is a special case, because it is the one place
that _must_ be shared between "the system" and localisms.)

> src/include/Makefile should use 'cmp' to check headers before
> installing them, [...]

I entirely agree.

					der Mouse

			    mouse@collatz.mcrcim.mcgill.edu