From 5474dd493fef782102eacb73f02d4cb0bf965c07 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 5 Aug 2019 09:20:49 -0400
Subject: [PATCH] clarifications for Vanadium build instructions

---
 static/build.html | 6 ++++--
 1 file 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>