docs: make index redirect to the book

RCasatta · RCasatta · commit 355a6fd84111 · 2026-05-11T08:53:00.000+02:00
diff --git a/docs/README.md b/docs/README.md
@@ -19,12 +19,14 @@ mdbook serve
 
 To publish the book at https://blockstream.github.io/lwk/book/
 
+The site root at https://blockstream.github.io/lwk/ is handled by `docs/index.html`, which redirects to the book.
+
 ```
 git checkout gh-pages
 git reset --hard HEAD~10
 git rebase master
 just mdbook
 git add -f docs/book
 git commit -m "docs: add book"
-git push
+git push --force-with-lease
 ```
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html lang="en">
+    <head>
+        <meta charset="utf-8">
+        <title>LWK Documentation</title>
+        <meta http-equiv="refresh" content="0; url=./book/">
+        <meta name="viewport" content="width=device-width, initial-scale=1">
+        <link rel="canonical" href="./book/">
+        <script>
+            window.location.replace("./book/");
+        </script>
+    </head>
+    <body>
+        <p><a href="./book/">Go to the LWK book</a>.</p>
+    </body>
+</html>
