From 0f0f7232fbedec8a4bf4578e006992d1d60de976 Mon Sep 17 00:00:00 2001 From: Janek Date: Sat, 30 Dec 2023 18:57:49 +0100 Subject: [PATCH] Fix for docs --- build-docs.sh | 2 +- docs/index.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build-docs.sh b/build-docs.sh index 2cf887e..3a5340a 100755 --- a/build-docs.sh +++ b/build-docs.sh @@ -1,4 +1,4 @@ cargo doc --no-deps rm -rf ./docs -echo "" > target/doc/index.html +echo "" > target/doc/index.html cp -r target/doc ./docs \ No newline at end of file diff --git a/docs/index.html b/docs/index.html index ef94110..78365ee 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1 +1 @@ - +