jmc fde002f8c3 Don't include ${DESTDIR}/usr/include/krb5 if HOSTPROG. It's not needed and ... could possibly cause an error (though remote). Found during investigation of PR#26000		2004-06-22 02:44:11 +00:00
..
Makefile	…