renamed build_docs.sh to build_antora.sh as per ci_boost_release.py requisites
#98
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Antora currently has a limitation by which it must be run in a proper Git repo (as opposed to a submodule of a superproject). The Boost release script fixes that by doing some Git adjustments on those submodules it identifies as bulding Antora docs, which identification is done heuristically by looking for an
antora_docs.shorbuild_antora.shfile:https://github.com/boostorg/release-tools/blob/d27012edbe2516ce8c38798244a153a216ccba95/ci_boost_release.py#L495-L536