From a263856a238770a960058a879165b78d72b57684 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Sun, 17 May 2020 23:19:42 -0400
Subject: [PATCH] remove redundant information about Vanadium config

---
 static/build.html | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/static/build.html b/static/build.html
index d5ab5899..f9618712 100644
--- a/static/build.html
+++ b/static/build.html
@@ -674,11 +674,6 @@ cd ../..</pre>
             Chromium's Android build instructions</a> for details on obtaining the
             prerequisites.</p>
 
-            <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> including the correct
-            version.</p>
-
             <pre>git clone https://github.com/GrapheneOS/Vanadium.git
 cd Vanadium
 git checkout $CORRECT_BRANCH_OR_TAG</pre>