Install krb5-config man page Don't just build it. https://github.com/krb5/krb5/commit/2defbe8939c1c11a9f76334443c63603a8b749bf Author: Ben Kaduk <kaduk at mit.edu> Commit: 2defbe8939c1c11a9f76334443c63603a8b749bf Branch: master src/man/Makefile.in | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)