From 7c251159a6f46fab4a9c953e0f72b4eecf51212c Mon Sep 17 00:00:00 2001 From: daichifukui Date: Mon, 9 Sep 2024 10:31:11 +0900 Subject: [PATCH] update link to repo install doc MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit As of writing this PR, the link to the repo installation documentation redirects to a page titled “Download the Android source,” which does not include instructions on how to install the repo. Therefore, we would like to use a different link for the installation instructions. Signed-off-by: daichifukui --- projects/buildsystem/host-dependencies.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/buildsystem/host-dependencies.md b/projects/buildsystem/host-dependencies.md index 68ee0dd65d..cee28b39a8 100644 --- a/projects/buildsystem/host-dependencies.md +++ b/projects/buildsystem/host-dependencies.md @@ -17,7 +17,7 @@ The following instructions describe how to set up the required dependencies on y ## Get Google's Repo tool -The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Installing Repo” [here](https://source.android.com/setup/develop#installing-repo). +The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Install” [here](https://gerrit.googlesource.com/git-repo#install). See the [RepoCheatsheet](repo-cheatsheet) page for a quick explanation of how we use Repo.