docs build branch

[sdarwin]

In these files,
https://github.com/cppalliance/http_proto/blob/develop/doc/build_antora.sh https://github.com/cppalliance/http_proto/blob/develop/doc/local-playbook.yml

It's hardcoded to download from the master branch:
url: https://github.com/boostorg/website-v2-docs/releases/download/ui-master/ui-bundle.zip

Can this dynamically switch to the develop branch...

[sdarwin]

There might be difficulties, since boost libraries are submodules, and therefore git branch sometimes says:

• (HEAD detached at 84115e5b)

which shouldn't crash the docs build.

[ashtum]

@sdarwin, Couldn't we hard-code it to the develop branch for now, until this library is included in Boost?

[sdarwin]

Yeah, for now, switch it from master to develop.