Fix make docs_build
and related scripts
#7276
Merged
make docs_build
and related scripts
#7276