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

[Felix Singer (Code Review)]

Attention is currently required from: Paul Menzel, Angel Pons.
Hello build bot (Jenkins), Paul Menzel,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/62441

to look at the new patch set (#12).

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

Documentation: Rename infrastructure section

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

Change-Id: I1ba8a2e2070a79d8c9e955133203f9bb9f58cb8e
Signed-off-by: Felix Singer 
---
M Documentation/index.md
M Documentation/infrastructure/index.md
2 files changed, 3 insertions(+), 3 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/41/62441/12