This fixes the build_doc logic to work as advertised and never
try to (re)build documentation when working with a tarball release.