From e74617f2e45f36ec8a5ea75192ae87beb9d8aa90 Mon Sep 17 00:00:00 2001
From: Palash Tyagi <23239946+Magnus167@users.noreply.github.com>
Date: Sun, 4 May 2025 18:41:02 +0100
Subject: [PATCH] Rename documentation output directory and update redirect in
 index.html

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

diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml
index 94eab46..ddf5e71 100644
--- a/.github/workflows/docs-and-testcov.yml
+++ b/.github/workflows/docs-and-testcov.yml
@@ -101,7 +101,9 @@ jobs:
           cp last-commit-date.json target/doc/rustframe/
           mkdir -p target/doc/rustframe/.github
           cp .github/rustframe_logo.png target/doc/rustframe/.github/
-          echo "<meta http-equiv=\"refresh\" content=\"0; url=rustframe\">" > target/doc/index.html
+
+          mv target/doc/rustframe target/doc/docs
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
 
       - name: Upload Pages artifact
         if: github.event_name == 'push'