diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
--- a/ObsoleteFiles.inc
+++ b/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/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
diff --git a/krb5/util/profile/Makefile b/krb5/util/profile/Makefile
--- a/krb5/util/profile/Makefile
+++ b/krb5/util/profile/Makefile
@@ -67,13 +67,8 @@
 
 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