Bug#707195: no longer affects krb5

[Tom Yu]

affects 707195 - src:krb5
affects 707195 - krb5
thanks

Upstream krb5 uses Sphinx instead of texinfo for documentation now.