Build scripts: re-added documentation publication.