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