Fix the redirects from the old documentation locations

gennaroprota · gennaroprota · commit 0afd2a404066 · 2025-10-30T10:39:22.000+01:00
diff --git a/doc/build_docs.sh b/doc/build_docs.sh
@@ -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"
diff --git a/doc/dynamic_bitset.html b/doc/dynamic_bitset.html
@@ -0,0 +1,15 @@
+<!DOCTYPE html>
+<html>
+    <head>
+        <meta http-equiv="refresh" content="0; url=html/index.html" />
+        <script>location="html/index.html"</script>
+        <title>Automatic redirection</title>
+    </head>
+    <body>
+        <p>Automatic redirection failed. Please click <a href="html/index.html">here</a>.</p>
+        <p>© Copyright 2025 Gennaro Prota.</p>
+        <p>Distributed under the Boost Software License, Version 1.0. (See accompanying
+        file <a href="../../../LICENSE_1_0.txt">LICENSE_1_0.txt</a> or copy
+        at <a href="http://www.boost.org/LICENSE_1_0.txt">www.boost.org/LICENSE_1_0.txt</a>)</p>
+    </body>
+</html>
diff --git a/index.html b/index.html
@@ -1,12 +1,12 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
 <head>
-<meta http-equiv=refresh content="0; URL=dynamic_bitset.html">
+<meta http-equiv=refresh content="0; URL=doc/html/index.html">
 <title>Automatic redirection</title>
 </head>
 <body>
 Automatic redirection failed, please go to
-<a href="dynamic_bitset.html">dynamic_bitset.html</a>.&nbsp;<hr>
+<a href="dynamic_bitset.html">doc/html/index.html</a>.&nbsp;<hr>
 <p>� Copyright Beman Dawes, 2001</p>
 <p>Distributed under the Boost Software License, Version 1.0. (See accompanying
 file <a href="../../LICENSE_1_0.txt">LICENSE_1_0.txt</a> or copy
