How about considering the following diff to the src/include/Makefile file?

It's only claim to fame is to keep the file dates correct when copies
are installed. (I noticed that everytime i make install in includes
and then make in the src directory, that everything was being recompiled
rather than that which would be determined by date dependence.)
Maybe install needs a timestamp keeping option?

eric

*** Makefile	Thu Jul 21 16:46:11 1994
--- Makefile.ejh	Tue Jul 26 14:39:23 1994
***************
*** 36,40 ****
  	@-for i in ${FILES}; do \
  		cmp -s $$i ${DESTDIR}/usr/include/$$i || \
! 		    install -c -m 444 $$i ${DESTDIR}/usr/include/$$i; \
  	done
  	@echo installing ${DIRS}
--- 36,40 ----
  	@-for i in ${FILES}; do \
  		cmp -s $$i ${DESTDIR}/usr/include/$$i || \
! 		    pax -rw -pa $$i ${DESTDIR}/usr/include/; \
  	done
  	@echo installing ${DIRS}
***************
*** 43,47 ****
  		(cd $$i; for j in *.[ih]; do \
  			cmp -s $$j ${DESTDIR}/usr/include/$$i/$$j || \
! 			install -c -m 444 $$j ${DESTDIR}/usr/include/$$i/$$j; \
  		done); \
  	done
--- 43,47 ----
  		(cd $$i; for j in *.[ih]; do \
  			cmp -s $$j ${DESTDIR}/usr/include/$$i/$$j || \
! 			pax -rw -pa $$j ${DESTDIR}/usr/include/$$i; \
  		done); \
  	done

------------------------------------------------------------------------------