2 files changed, 22 insertions, 6 deletions
diff --git a/Documentation/infrastructure/builders.md b/Documentation/infrastructure/builders.md
index b200140ed5..dc4216d435 100644
--- a/Documentation/infrastructure/builders.md
+++ b/Documentation/infrastructure/builders.md
@@ -93,11 +93,19 @@ You can see all the builds in the main jenkins interface:
 Most of the time on the builders is taken up by the coreboot main and
 coreboot gerrit builds.
 
-* [coreboot gerrit build](https://qa.coreboot.org/job/coreboot-gerrit/)
+```{toctree}
+:maxdepth: 1
+
+coreboot gerrit build <https://qa.coreboot.org/job/coreboot-gerrit/>
+```
 ([Time trend](https://qa.coreboot.org/job/coreboot-gerrit/buildTimeTrend))
 
 
-* [coreboot main build](https://qa.coreboot.org/job/coreboot/)
+```{toctree}
+:maxdepth: 1
+
+coreboot main build <https://qa.coreboot.org/job/coreboot/>
+```
  ([Time trend](https://qa.coreboot.org/job/coreboot/buildTimeTrend))
 
 
diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md
index 6748637762..75ad61b506 100644
--- a/Documentation/infrastructure/index.md
+++ b/Documentation/infrastructure/index.md
@@ -4,9 +4,17 @@ This section contains documentation about our infrastructure
 
 ## Services
 
-* [Project services](services.md)
-* [Administrator's handbook](admin.md)
+```{toctree}
+:maxdepth: 1
+
+Project services <services.md>
+Administrator's handbook <admin.md>
+```
 
 ## Jenkins builders and builds
-* [Setting up Jenkins build machines](builders.md)
-* [Coverity Scan integration](coverity.md)
+```{toctree}
+:maxdepth: 1
+
+Setting up Jenkins build machines <builders.md>
+Coverity Scan integration <coverity.md>
+```