From 74fac9d51281fafd29518c1d56d493332e4d973b Mon Sep 17 00:00:00 2001
From: Palash Tyagi <23239946+Magnus167@users.noreply.github.com>
Date: Sat, 19 Jul 2025 23:39:58 +0100
Subject: [PATCH] Add redirect meta tag to generated index.html for
 documentation

---
 .github/workflows/docs-and-testcov.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml
index 632b7e6..3b40067 100644
--- a/.github/workflows/docs-and-testcov.yml
+++ b/.github/workflows/docs-and-testcov.yml
@@ -151,6 +151,8 @@ jobs:
           mkdir -p target/doc/docs
           mv target/doc/rustframe/* target/doc/docs/
 
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=../docs/index.html\">" > target/doc/rustframe/index.html
+
           mkdir output
           cp tarpaulin-report.html target/doc/docs/
           cp tarpaulin-report.json target/doc/docs/