diff options
Diffstat (limited to 'en/setup/develop/index.html')
| -rw-r--r-- | en/setup/develop/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/en/setup/develop/index.html b/en/setup/develop/index.html index a2c13acf..253f4759 100644 --- a/en/setup/develop/index.html +++ b/en/setup/develop/index.html @@ -63,7 +63,7 @@ In most situations, you can use Git instead of Repo, or mix Repo and Git commands to form complex commands. However, using Repo for basic across-network operations will make your work much simpler. For more details - on Repo, see the <a href="repo.html">Repo Command Reference</a>. + on Repo, see the <a href="/setup/develop/repo">Repo Command Reference</a>. </p> <h2 id="other-tools">Other tools</h2> @@ -180,8 +180,8 @@ <p> For information about using Repo to download source, see - <a href="../build/downloading.html">Downloading the Source</a> and the - <a href="repo.html">Repo Command Reference</a>. + <a href="/setup/build/downloading">Downloading the Source</a> and the + <a href="/setup/develop/repo">Repo Command Reference</a>. </p> <h3 id="synchronizing-clients">Synchronizing clients</h3> |