diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2020-05-18 18:51:18 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2020-05-18 18:51:18 -0400 |
| commit | 3612d684b15af9a8274364ec3c783ea6708ebea9 (patch) | |
| tree | feb5ee216ea9dbf89c3407d834916d05a4cc66a7 | |
| parent | f92acbf63e550d4ad56853331d47e0b303745ea1 (diff) | |
refer to releases as releases rather than builds
| -rw-r--r-- | static/build.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/static/build.html b/static/build.html index f9618712..1ca33519 100644 --- a/static/build.html +++ b/static/build.html @@ -298,7 +298,7 @@ repo sync -j32</pre> <a href="#stable-release">Stable release</a> </h2> - <p>Pick a specific build for a device from the <a href="/releases">releases page</a> + <p>Pick a specific release for a device from the <a href="/releases">releases page</a> and download the source tree. Note that some devices use different Android Open Source Project branches so they can end up with different tags. Make sure to use the correct tag for a device. For devices without official support, use the latest tag for the |