add redirect

Author: jRimbault

.github/workflows/rustdoc-gh-pages.yml

@@ -31,6 +31,8 @@ jobs:
       - uses: dtolnay/rust-toolchain@nightly
       - name: Rustdoc
         run: cargo doc --all --no-deps -Zunstable-options -Zrustdoc-scrape-examples
+      - name: Add redirect
+        run: echo '<meta http-equiv="refresh" content="0;url=scrollrun/index.html">' > target/doc/index.html
       - uses: actions/upload-pages-artifact@v3
         with:
           path: target/doc