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

Author: joaquintides

.github/workflows/ci.yml

@@ -94,7 +94,7 @@ jobs:
 
           cd dynamic_bitset
           cd doc
-          bash ./build_docs.sh
+          bash ./build_antora.sh
 
           # Antora returns zero even if it fails, so we check if the site directory exists.
           if [ ! -d "html" ]

doc/Jamfile.v2

@@ -5,7 +5,7 @@ import virtual-target ;
 
 path-constant HERE : . ;
 
-make html/index.html : build_docs.sh : @run-script ;
+make html/index.html : build_antora.sh : @run-script ;
 generate files-to-install : html/index.html : <generating-rule>@delayed-glob ;
 install install
   : files-to-install