Use index.html

montyly · montyly · commit 84c335a7c631 · 2024-10-07T11:12:29.000+02:00
diff --git a/book.toml b/book.toml
@@ -22,6 +22,6 @@ enable = true
 level = 1
 
 [output.html.redirect]
-"medusa" = "./program-analysis/medusa/docs/src/"
-"slither" = "./program-analysis/slither/"
-"echidna" = "./program-analysis/echidna/"
+"medusa" = "./program-analysis/medusa/docs/src/index.html"
+"slither" = "./program-analysis/slither/index.html"
+"echidna" = "./program-analysis/echidna/index.html"
