Bug#1000837: krb5: differing build paths trigger different documentation

[Sam Hartman]

Hi.
I've looked over your report and baffling patch.
This is really strange, and I don't have much to add.

It seems like it might be related to the pathsubst rules in
src/doc/Makefile.in.
But I don't see the build directory getting used there.