From 71099258cc384bbc5882bb8a782bd5bb755d6c9b Mon Sep 17 00:00:00 2001
From: Patrick Georgi <pgeorgi@google.com>
Date: Thu, 27 May 2021 17:17:30 +0200
Subject: Documentation: Fix up toctree
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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>
---
 Documentation/infrastructure/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Documentation/infrastructure/index.md')

diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md
index 42bcbf65c8cc..a4520132c46d 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)
-- 
cgit v1.2.3