Use cp to create redirect

rust-random · Dec 15, 2020 · 34423a6 · 34423a6
1 parent d4b180d
commit 34423a6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; URL=rand/index.html"/>