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 <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62767
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Tim Wawrzynczak <twawrzynczak@chromium.org>
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
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 3cfea1e..cbdf606 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 16997ed..342ef68 100644
--- a/Documentation/index.md
+++ b/Documentation/index.md
@@ -190,3 +190,4 @@
* [Utilities](util.md)
* [coreboot infrastructure](infrastructure/index.md)
* [Release notes](releases/index.md)
+* [Documentation License](documentation_license.md)