From 34423a6bc8688449fcd5b445870ace574f3b2902 Mon Sep 17 00:00:00 2001
From: Diggory Hardy <git@dhardy.name>
Date: Tue, 15 Dec 2020 11:47:54 +0000
Subject: [PATCH] Use cp to create redirect

---
 .github/workflows/gh-pages.yml | 2 +-
 utils/redirect.html            | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 utils/redirect.html

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index e138d24b000..80c0ec3d965 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -23,7 +23,7 @@ jobs:
         # --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
-          echo '<meta http-equiv="refresh" content="0; URL=rand/index.html"/>' > target/doc/index.html
+          cp utils/redirect.html target/doc/index.html
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
diff --git a/utils/redirect.html b/utils/redirect.html
new file mode 100644
index 00000000000..4f361b9f971
--- /dev/null
+++ b/utils/redirect.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; URL=rand/index.html"/>