change crate name for doc index

makeecat · Aug 27, 2024 · cc10c98 · cc10c98
1 parent 0fda0f3
commit cc10c98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -19,7 +19,7 @@ jobs:
     - name: Prepare docs for deployment
       run: |
         mkdir gh-pages
-        echo "<meta http-equiv=\"refresh\" content=\"0; url=Peng\index.html\">" > target/doc/index.html
+        echo "<meta http-equiv=\"refresh\" content=\"0; url=peng_quad\index.html\">" > target/doc/index.html
         mv target/doc/* gh-pages/
         touch gh-pages/.nojekyll
     - name: Deploy Docs