Man pages matching name krb5_config in section 3: