hardware: make title consistent in page/menus (#214)

* hardware: make title consistent in page/menus Used the term "Supported platforms" (after discussion with Gerwin and Ivan) for: the page title, the side menu and the landing page (table of content). Signed-off-by: June Andronick <[email protected]> Co-authored-by: Gerwin Klein <[email protected]>
seL4 · Jan 29, 2024 · 258381c · 258381c
1 parent b94fdfb
commit 258381c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Hardware/index.md b/Hardware/index.md
@@ -2,7 +2,7 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---
-# Supported Platforms
+# Supported platforms
 
 ### Summary
 

diff --git a/_data/sidebar.yml b/_data/sidebar.yml
@@ -13,7 +13,7 @@ toc:
         url: /projects/sel4/frequently-asked-questions.html
       - page: Set up your machine
         url: /projects/buildsystem/host-dependencies.html
-      - page: Supported hardware
+      - page: Supported platforms
         url: /Hardware/
       - page: Available components
         url: /projects/available-user-components.html

diff --git a/index.md b/index.md
@@ -24,7 +24,7 @@ This documentation site is for cooperatively developing and sharing documentatio
 	<li><a href="/projects/roadmap.html">Roadmap</a></li>
 	<li><a href="/projects/buildsystem/host-dependencies.html">Build dependencies</a></li>
 	<li><a href="/GettingStarted#running-sel4">Building and Running seL4</a></li>
-	<li><a href="/Hardware">Hardware and Target platforms</a></li>
+	<li><a href="/Hardware">Supported platforms</a></li>
 	<li><a href="/projects/sel4/verified-configurations.html">Verification targets and claims</a></li>
 	</ul>
   </div>