krb5/util/profile: Do not install profile.5

I am not sure what this file from upstream is supposed to be, but it's
not a manual page.  Remove it and add to ObsoleteFiles.

Reviewed by:	cy
Differential Revision:	https://reviews.freebsd.org/D51517

ObsoleteFiles.inc

@@ -51,7 +51,7 @@
 #   xargs -n1 | sort | uniq -d;
 # done
 
-# 20250725: Headers installed by krb5 which shouldn't have been.
+# 20250725: Files which were briefly installed by WITH_MITKRB5 in 15.0.
 OLD_FILES+=usr/include/kadm5/admin_internal.h
 OLD_FILES+=usr/include/kadm5/admin_xdr.h
 OLD_FILES+=usr/include/kadm5/kadm_rpc.h
@@ -62,6 +62,7 @@ OLD_FILES+=usr/include/t_test.h
 OLD_FILES+=usr/include/dyn.h
 OLD_FILES+=usr/include/dynP.h
 OLD_FILES+=usr/include/gssrpcint.h
+OLD_FILES+=usr/share/man/man5/profile.5.gz
 
 # 20250716: Remove an old manual page, vn(4) was removed in FreeBSD 5.0
 OLD_FILES+=usr/share/man/man4/vn.4.gz

krb5/util/profile/Makefile

@@ -67,13 +67,8 @@ profile.h:	profile.hin prof_err.h
 
 prof_file.c:	profile.h
 
-MAN=	profile.5
-
 .include <bsd.lib.mk>
 
-.SUFFIXES: .h .c .man .1 .et
-
-.man.5:
-	cp ${.ALLSRC} ${.TARGET}
+.SUFFIXES: .et
 
 .PATH: ${KRB5_DIR}/util/profile