docs are annoying

ekinimo · ekinimo · commit 5bafe69fa428 · 2025-03-21T04:04:16.000+01:00
diff --git a/doc_script.sh b/doc_script.sh
@@ -1,4 +1,4 @@
 cargo doc --no-deps
 rm -rf ./docs
-echo "<meta http-equiv=\"refresh\" content=\"0; url=build_wheel\">" > target/doc/index.html
+echo "<meta http-equiv=\"refresh\" content=\"0; url=triemap\">" > target/doc/index.html
 cp -r target/doc ./docs
diff --git a/docs/index.html b/docs/index.html
@@ -1 +1 @@
-<meta http-equiv="refresh" content="0; url=build_wheel">
+<meta http-equiv="refresh" content="0; url=triemap">

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<meta http-equiv="refresh" content="0; url=build_wheel">`
	`1`	`+<meta http-equiv="refresh" content="0; url=triemap">`