Improved build script for doc repos (with change detection!)

[ankursinha (FranciscoD)]

Did we find a way to roll it out? I’ve opened a PR for quick-docs here, in the meantime.