GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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 <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62441
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
This commit is contained in:
Felix Singer 2022-02-28 22:48:52 +01:00
parent d702a34925
commit e78c9a3fdb
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Documentation/index.md
View File

@ -188,6 +188,6 @@ Contents:
* [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)

4
Documentation/infrastructure/index.md
View File

@ -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)