From f12c9188817a2442547e10f36b411d9d45a66264 Mon Sep 17 00:00:00 2001 From: joaquintides Date: Fri, 24 Oct 2025 20:29:17 +0200 Subject: [PATCH] renamed build_docs.sh to build_antora.sh as per ci_boost_release.py requisites --- .github/workflows/ci.yml | 2 +- doc/Jamfile.v2 | 2 +- doc/{build_docs.sh => build_antora.sh} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename doc/{build_docs.sh => build_antora.sh} (100%) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4099306..7008fa5 100644 --- a/.github/workflows/ci.yml +++ b/.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" ] diff --git a/doc/Jamfile.v2 b/doc/Jamfile.v2 index a4a2253..ed8ddb8 100644 --- a/doc/Jamfile.v2 +++ b/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 : @delayed-glob ; install install : files-to-install diff --git a/doc/build_docs.sh b/doc/build_antora.sh similarity index 100% rename from doc/build_docs.sh rename to doc/build_antora.sh