Fix the redirects from the old documentation locations

This commit is contained in:
Gennaro Prota
2025-10-30 10:39:22 +01:00
committed by Gennaro Prota
parent f12c918881
commit e19c647bc7
5 changed files with 18 additions and 5 deletions

View File

@@ -28,5 +28,4 @@ echo "Building docs in custom dir..."
PATH="$(pwd)/node_modules/.bin:${PATH}"
export PATH
npx antora --clean --fetch "$PLAYBOOK" --stacktrace --log-level all
cp -f html/index.html html/dynamic_bitset.html # redirects from pre-Antora docs location
echo "Done"

View File

@@ -13,7 +13,6 @@
site:
title: Boost.DynamicBitset
url: https://antora.cppalliance.org/develop/lib/doc
start_page: dynamic_bitset::index.adoc
robots: allow
keys: