[v1.x] ci: pick the docs toolchain per worktree in build-docs.sh

[v1.x] ci: pick the docs toolchain per worktree in build-docs.sh #3319