Implement an install-headers target to install public headers into KRB5_INCDIR;
probably called by setting DESTDIR.


To generate a diff of this commit:



	cvs diff -r5.375 -r5.376 krb5/src/ChangeLog
	cvs diff -r1.123 -r1.124 krb5/src/Makefile.in
	cvs diff -r5.168 -r5.169 krb5/src/config/ChangeLog
	cvs diff -r1.42 -r1.43 krb5/src/config/post.in
	cvs diff -r1.82 -r1.83 krb5/src/config/pre.in
	cvs diff -r1.319 -r1.320 krb5/src/include/ChangeLog
	cvs diff -r1.43 -r1.44 krb5/src/include/Makefile.in
	cvs diff -r5.81 -r5.82 krb5/src/include/kerberosIV/ChangeLog
	cvs diff -r1.17 -r1.18 krb5/src/include/kerberosIV/Makefile.in
	cvs diff -r1.116 -r1.117 krb5/src/lib/gssapi/generic/ChangeLog
	cvs diff -r1.60 -r1.61 krb5/src/lib/gssapi/generic/Makefile.in
	cvs diff -r1.201 -r1.202 krb5/src/lib/gssapi/krb5/ChangeLog
	cvs diff -r1.60 -r1.61 krb5/src/lib/gssapi/krb5/Makefile.in
	cvs diff -r5.122 -r5.123 krb5/src/util/et/ChangeLog
	cvs diff -r1.63 -r1.64 krb5/src/util/et/Makefile.in
	cvs diff -r1.116 -r1.117 krb5/src/util/profile/ChangeLog
	cvs diff -r1.41 -r1.42 krb5/src/util/profile/Makefile.in