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

…