diff --git a/lib/krb5/Makefile.am b/lib/krb5/Makefile.am
index 7c0df9d92..72dc1a765 100644
--- a/lib/krb5/Makefile.am
+++ b/lib/krb5/Makefile.am
@@ -84,4 +84,6 @@ libkrb5_a_SOURCES = \
 libkrb5_a_LIBADD = ../error/error.o ../error/krb5_err.o \
 	../error/asn1_err.o ../error/hdb_err.o ../error/heim_err.o
 
-man_MANS = krb5.conf.5 krb5_warn.3 krb5_openlog.3
+man_MANS = krb5.conf.5 krb5_warn.3 krb5_openlog.3 \
+	krb5_425_conv_principal.3 krb5_build_principal.3 krb5_free_principal.3 \
+	krb5_parse_name.3 krb5_sname_to_principal.3 krb5_unparse_name.3