Add categories/index.md to navigation

RiverBench · May 15, 2024 · 2b9a3e2 · 2b9a3e2
1 parent b086058
commit 2b9a3e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/commands/NavGenCommand.scala b/src/main/scala/commands/NavGenCommand.scala
@@ -96,7 +96,7 @@ object NavGenCommand extends Command:
           YamlList(listDir(rootDir, "documentation"))
         ),
         YamlMap("Benchmarks", YamlList(
-          categories
+          YamlString("categories/index.md") +: categories
         )),
         YamlMap("Datasets", YamlList(
           YamlString("datasets/index.md") +: datasets