fix: make_docs url

nulltea · Jul 10, 2023 · 503e8e7 · 503e8e7
1 parent 2c5863b
commit 503e8e7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -1 +1 @@
-<meta http-equiv="refresh" content="0; url=halo2-base">
+<meta http-equiv="refresh" content="0; url=halo2_base" />
diff --git a/make_docs.sh b/make_docs.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
 cargo doc --no-deps
 rm -rf ./docs
-echo "<meta http-equiv=\"refresh\" content=\"0; url=halo2-base\">" > target/doc/index.html
+echo "<meta http-equiv=\"refresh\" content=\"0; url=halo2_base\">" > target/doc/index.html
 cp -r target/doc ./docs