diff --git a/docs/HowToGuides/GettingStarted.md b/docs/HowToGuides/GettingStarted.md index fa1a2137d3a92..1bbed24c00db4 100644 --- a/docs/HowToGuides/GettingStarted.md +++ b/docs/HowToGuides/GettingStarted.md @@ -16,7 +16,7 @@ toolchain as a one-off, there are a couple of differences: - [Troubleshooting cloning issues](#troubleshooting-cloning-issues) - [Installing dependencies](#installing-dependencies) - [macOS](#macOS) - - [Ubuntu Linux](#ubuntu-linux) + - [Linux](#linux) - [Building the project for the first time](#building-the-project-for-the-first-time) - [Spot check dependencies](#spot-check-dependencies) - [The roles of different tools](#the-roles-of-different-tools)