Add documentation index redirect

torrancew · Jul 14, 2024 · 6e4f44c · 6e4f44c
1 parent 8b4ed03
commit 6e4f44c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -47,6 +47,8 @@ jobs:
         toolchain: stable
         command: doc
         args: --no-deps
+    - name: Generate Index Redirect
+      run: echo '<meta http-equiv="refresh" content="0;url=xapian_rs/index.html">' >target/doc/index.html
     - name: Upload Artifact
       uses: actions/upload-pages-artifact@v3
       with: