diff --git a/include/Makefile.in b/include/Makefile.in index 80e7e876d..0df5a5254 100644 --- a/include/Makefile.in +++ b/include/Makefile.in @@ -1,7 +1,7 @@ HEADERS = \ asn1.h asn1_err.h bits.h cache.h config_file.h \ des.h error.h getarg.h gssapi.h hdb.h hdb_asn1.h hdb_err.h \ - heim_err.h keytab.h krb5.h krb5_err.h md4.h md5.h roken.h \ + heim_err.h kafs.h keytab.h krb5.h krb5_err.h md4.h md5.h roken.h \ sha.h sl.h store.h parse_time.h parse_units.h otp.h MAYBE_HEADERS = \ @@ -129,6 +129,9 @@ sl.h: otp.h: $(LN_S) $(top_srcdir)/lib/otp/otp.h . +kafs.h: + $(LN_S) $(top_srcdir)/lib/kafs/kafs.h . + bits.h: bits ./bits bits.h