Change in coreboot[master]: Documentation: Rename infrastructure section

[Felix Singer (Code Review)]

Felix Singer has submitted this change. ( https://review.coreboot.org/c/coreboot/+/62441 )

Change subject: Documentation: Rename infrastructure section
......................................................................

Documentation: Rename infrastructure section

In preparation for CB:62442, rename the section for infrastructure
related things to "Project infrastructure & services".

Change-Id: I1ba8a2e2070a79d8c9e955133203f9bb9f58cb8e
Signed-off-by: Felix Singer 
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62441
Tested-by: build bot (Jenkins) 
Reviewed-by: Michael Niewöhner 
---
M Documentation/index.md
M Documentation/infrastructure/index.md
2 files changed, 3 insertions(+), 3 deletions(-)

Approvals:
  build bot (Jenkins): Verified
  Michael Niewöhner: Looks good to me, approved

diff --git a/Documentation/index.md b/Documentation/index.md
index 342ef68..aae7861 100644
--- a/Documentation/index.md
+++ b/Documentation/index.md
@@ -188,6 +188,6 @@
 * [SuperIO](superio/index.md)
 * [Vendorcode](vendorcode/index.md)
 * [Utilities](util.md)
-* [coreboot infrastructure](infrastructure/index.md)
+* [Project infrastructure & services](infrastructure/index.md)
 * [Release notes](releases/index.md)
 * [Documentation License](documentation_license.md)
diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md
index 3007bbe..755709e 100644
--- a/Documentation/infrastructure/index.md
+++ b/Documentation/infrastructure/index.md
@@ -1,6 +1,6 @@
-# coreboot infrastructure
+# Project infrastructure & services

-This section contains documentation about coreboot infrastructure
+This section contains documentation about our infrastructure

## Jenkins builders and builds
 * [Setting up Jenkins build machines](builders.md)