From da3458becbf67eec4b98e0c949db819c638f62c0 Mon Sep 17 00:00:00 2001
From: Diggory Hardy <git@dhardy.name>
Date: Tue, 15 Dec 2020 10:03:34 +0000
Subject: [PATCH] Add HTML redirect

---
 .github/workflows/gh-pages.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index ad9b0943d4f..e138d24b000 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -21,7 +21,9 @@ jobs:
         env:
           RUSTDOCFLAGS: --cfg doc_cfg
         # --all builds all crates, but with default features for other crates (okay in this case)
-        run: cargo doc --all --features nightly,serde1,getrandom,small_rng
+        run: |
+          cargo doc --all --features nightly,serde1,getrandom,small_rng
+          echo '<meta http-equiv="refresh" content="0; URL=rand/index.html"/>' > target/doc/index.html
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with: