From 540ac4049cd0143b1d025773175a1d8387c0631f Mon Sep 17 00:00:00 2001
From: Adam Reichold <adam.reichold@t-online.de>
Date: Sat, 8 Jan 2022 12:27:57 +0100
Subject: [PATCH] The redirect is necessary, just the given path was wrong.

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

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 91d990f0d..04e2938fa 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -11,7 +11,9 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - name: Build the doc
-        run: cargo doc --all-features --no-deps
+        run: |
+          cargo doc --all-features --no-deps
+          echo "<meta http-equiv=refresh content=0;url=numpy/index.html>" > target/doc/index.html
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3.7.0-8