The krb5-config man page was missed when converting the nroff man pages to 
restructuredText.