Enable url redirect

montyly · montyly · commit fafbb03a90c7 · 2024-10-07T10:59:01.000+02:00
diff --git a/book.toml b/book.toml
@@ -20,3 +20,8 @@ mathjax-support = true
 [output.html.fold]
 enable = true
 level = 1
+
+[output.html.redirect]
+"medusa" = "./program-analysis/medusa/"
+"slither" = "./program-analysis/slither/"
+"echidna" = "./program-analysis/echidna/"
