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

This commit is contained in:
joaquintides
2025-10-24 20:29:17 +02:00
committed by Gennaro Prota
parent 354c63cb24
commit f12c918881
3 changed files with 2 additions and 2 deletions

View File

@@ -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" ]