Manpages of krb5-doc in Debian wheezy