renamed build_docs.sh to build_antora.sh as per ci_boost_release.py requisites#98

gennaroprota merged 1 commit intoboostorg:developboostorg/dynamic_bitset:developfrom

joaquintides:fix/name-antora-scriptjoaquintides/dynamic_bitset:fix/name-antora-scriptCopy head branch name to clipboard