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