diff --git a/lib/krb5/Makefile.am b/lib/krb5/Makefile.am
index da6561db2..b3e4555e4 100644
--- a/lib/krb5/Makefile.am
+++ b/lib/krb5/Makefile.am
@@ -170,6 +170,7 @@ man_MANS =					\
 	krb5_openlog.3				\
 	krb5_parse_name.3			\
 	krb5_principal_get_realm.3		\
+	krb5_set_default_realm.3		\
 	krb5_sname_to_principal.3		\
 	krb5_timeofday.3			\
 	krb5_unparse_name.3			\