From 2ac95f42a2579b2973648335259226ae48bd22e6 Mon Sep 17 00:00:00 2001 From: Felix Singer Date: Sun, 13 Mar 2022 22:01:35 +0100 Subject: [PATCH] Documentation: Move documentation license to main menu The "Getting started" section is not an appropriate place for the documentation license. It should rather be listed in the main menu. Thus, move it there. Change-Id: I8bfc4f52da8a93d78a62e3a68fd6f1dc8ae4d335 Signed-off-by: Felix Singer Reviewed-on: https://review.coreboot.org/c/coreboot/+/62767 Tested-by: build bot (Jenkins) Reviewed-by: Tim Wawrzynczak Reviewed-by: Paul Menzel --- .../{getting_started/license.md => documentation_license.md} | 0 Documentation/getting_started/index.md | 1 - Documentation/index.md | 1 + 3 files changed, 1 insertion(+), 1 deletion(-) rename Documentation/{getting_started/license.md => documentation_license.md} (100%) diff --git a/Documentation/getting_started/license.md b/Documentation/documentation_license.md similarity index 100% rename from Documentation/getting_started/license.md rename to Documentation/documentation_license.md diff --git a/Documentation/getting_started/index.md b/Documentation/getting_started/index.md index 3cfea1ef57..cbdf606f47 100644 --- a/Documentation/getting_started/index.md +++ b/Documentation/getting_started/index.md @@ -4,6 +4,5 @@ * [Build System](build_system.md) * [Submodules](submodules.md) * [Kconfig](kconfig.md) -* [Documentation License](license.md) * [Writing Documentation](writing_documentation.md) * [Setting up GPIOs](gpio.md) diff --git a/Documentation/index.md b/Documentation/index.md index 16997ed409..342ef6822c 100644 --- a/Documentation/index.md +++ b/Documentation/index.md @@ -190,3 +190,4 @@ Contents: * [Utilities](util.md) * [coreboot infrastructure](infrastructure/index.md) * [Release notes](releases/index.md) +* [Documentation License](documentation_license.md)