From c6fe3d2b8e34f407dfb7a4f58fbe7d81690dcc30 Mon Sep 17 00:00:00 2001
From: ChihChengLiang <chihchengliang@gmail.com>
Date: Mon, 18 Sep 2023 16:42:15 +0800
Subject: [PATCH] fix doc index

---
 .github/workflows/docs-ghpages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs-ghpages.yml b/.github/workflows/docs-ghpages.yml
index 25d964c9c7..358c8f2950 100644
--- a/.github/workflows/docs-ghpages.yml
+++ b/.github/workflows/docs-ghpages.yml
@@ -31,7 +31,7 @@ jobs:
         run: |
           rm -rf ./docs
           cp -R ./target/doc ./docs
-          echo "<meta http-equiv=\"refresh\" content=\"0; url=pse_halo2\">" > ./docs/index.html
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=halo2_proofs\">" > ./docs/index.html
 
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3