summaryrefslogtreecommitdiff
path: root/static/build.html
diff options
context:
space:
mode:
Diffstat (limited to 'static/build.html')
-rw-r--r--static/build.html6
1 files changed, 4 insertions, 2 deletions
diff --git a/static/build.html b/static/build.html
index 7cccbf7d..9a8a8936 100644
--- a/static/build.html
+++ b/static/build.html
@@ -206,10 +206,12 @@ cd ../..</pre>
<p>You can obtain the proper configuration from the
<a href="https://github.com/GrapheneOS/Vanadium">
- GrapheneOS Vanadium repository</a> in <code>args.gn</code> the correct version.</p>
+ GrapheneOS Vanadium repository</a> in <code>args.gn</code> including the correct
+ version.</p>
<pre>git clone https://github.com/GrapheneOS/Vanadium.git
-cd Vanadium</pre>
+cd Vanadium
+git checkout $CORRECT_BRANCH_OR_TAG</pre>
<p>Fetch the Chromium sources:</p>