Fixed make docs for downstream packagers

who rely on clean sand-boxed build environments as described in #3873.