From bcc0fe6e6242b1ad1d42f6f29f77be536e05e82a Mon Sep 17 00:00:00 2001
From: Noratrieb <48135649+Noratrieb@users.noreply.github.com>
Date: Sun, 27 Jul 2025 17:36:44 +0200
Subject: [PATCH] fix

---
 before.html | 4 +++-
 build.sh    | 4 ++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/before.html b/before.html
index 3bfea39..940d649 100644
--- a/before.html
+++ b/before.html
@@ -24,6 +24,8 @@
   elems.parentNode.insertBefore(info, elems);
 
   document.getElementById("target-select").addEventListener("change", (e) => {
-    alert(e.target.value);
+    // not very clever, just change the target at all.
+    // we could try to substitute the path or something better.
+    window.location.pathname = `${e.target.value}/std`;
   });
 </script>
diff --git a/build.sh b/build.sh
index b7f3a84..aadf751 100755
--- a/build.sh
+++ b/build.sh
@@ -4,6 +4,8 @@ set -euxo pipefail
 
 root=$(realpath "$PWD")
 
+cp index.html "$root/www-root"
+
 # use a higher depth because bootstrap might be broken with depth 1?
 git clone --depth 50 https://github.com/rust-lang/rust.git
 cd rust
@@ -36,5 +38,3 @@ for target in "${targets[@]}"; do
 
     cp -rT "./build/$target/doc/" "$root/www-root/$target"
 done
-
-cp index.html "$root/www-root"