Make docs building dependent on BUILD_DOCS, this appears to be what is intended by...