diff options
-rw-r--r-- | Documentation/community/index.md | 1 | ||||
-rw-r--r-- | Documentation/infrastructure/index.md | 5 | ||||
-rw-r--r-- | Documentation/infrastructure/services.md (renamed from Documentation/community/services.md) | 0 |
3 files changed, 5 insertions, 1 deletions
diff --git a/Documentation/community/index.md b/Documentation/community/index.md index 30420ae903..1363eb0277 100644 --- a/Documentation/community/index.md +++ b/Documentation/community/index.md @@ -3,5 +3,4 @@ * [Code of Conduct](code_of_conduct.md) * [Language style](language_style.md) * [Community forums](forums.md) -* [Project services](services.md) * [coreboot at conferences](conferences.md) diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md index 755709ece4..744809f2fd 100644 --- a/Documentation/infrastructure/index.md +++ b/Documentation/infrastructure/index.md @@ -2,6 +2,11 @@ This section contains documentation about our infrastructure +## Services + +* [Project services](services.md) + + ## Jenkins builders and builds * [Setting up Jenkins build machines](builders.md) * [Coverity Scan integration](coverity.md) diff --git a/Documentation/community/services.md b/Documentation/infrastructure/services.md index a7f13eefb5..a7f13eefb5 100644 --- a/Documentation/community/services.md +++ b/Documentation/infrastructure/services.md |