From 503e8e748e620719e6ce5d2093e2a22663ea7ae3 Mon Sep 17 00:00:00 2001
From: Jonathan Wang <31040440+jonathanpwang@users.noreply.github.com>
Date: Mon, 10 Jul 2023 10:49:48 -0400
Subject: [PATCH] fix: make_docs url
---
docs/index.html | 2 +-
make_docs.sh | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/index.html b/docs/index.html
index d924d478..81ce7025 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -1 +1 @@
-
+
diff --git a/make_docs.sh b/make_docs.sh
index 3067a8de..d8936566 100755
--- a/make_docs.sh
+++ b/make_docs.sh
@@ -1,5 +1,5 @@
#!/bin/bash
cargo doc --no-deps
rm -rf ./docs
-echo "" > target/doc/index.html
+echo "" > target/doc/index.html
cp -r target/doc ./docs