diff --git a/lib/krb5/Makefile.am b/lib/krb5/Makefile.am
index 8b0bab1de..98578a704 100644
--- a/lib/krb5/Makefile.am
+++ b/lib/krb5/Makefile.am
@@ -86,6 +86,7 @@ dist_libkrb5_la_SOURCES =			\
 	crc.c					\
 	creds.c					\
 	crypto.c				\
+	doxygen.c				\
 	data.c					\
 	digest.c				\
 	eai_to_heim_errno.c			\