Documentation: Fix up toctree
Some files weren't properly hooked up, making Sphinx complain.
Change-Id: If959fa63d4ddbc3916c49c5ad6602e76b12a7e60
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/55020
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md
index 42bcbf6..a452013 100644
--- a/Documentation/infrastructure/index.md
+++ b/Documentation/infrastructure/index.md
@@ -3,4 +3,4 @@
This section contains documentation about coreboot infrastructure
## Jenkins builders and builds
-[Setting up Jenkins build machines](builders.md)
+* [Setting up Jenkins build machines](builders.md)
diff --git a/Documentation/mainboard/index.md b/Documentation/mainboard/index.md
index 3307271..a08cc43 100644
--- a/Documentation/mainboard/index.md
+++ b/Documentation/mainboard/index.md
@@ -153,6 +153,7 @@
## Purism
+- [Librem 14](purism/librem_14.md)
- [Librem Mini](purism/librem_mini.md)
## Protectli
diff --git a/Documentation/technotes/index.md b/Documentation/technotes/index.md
index a9320fb..fda8bd6 100644
--- a/Documentation/technotes/index.md
+++ b/Documentation/technotes/index.md
@@ -3,4 +3,5 @@
* [Dealing with Untrusted Input in SMM](2017-02-dealing-with-untrusted-input-in-smm.md)
* [Rebuilding coreboot image generation](2015-11-rebuilding-coreboot-image-generation.md)
* [Unit testing coreboot](2020-03-unit-testing-coreboot.md)
+* [Unit Test Code Coverage](2021-05-code-coverage.md)
* [Address Sanitizer](asan.md)