I update the docs if we're making a debian package.

In that case this is done by a magical post-inst hook