Man page at src/krb5-config.M still needs to be added to the krb5 build system.