From 124853accf386b836865c24dd9e3ceecb0528d65 Mon Sep 17 00:00:00 2001
From: Daniel Micay <daniel.micay@grapheneos.org>
Date: Wed, 17 Jan 2024 22:46:03 -0500
Subject: [PATCH] drop unnecessary escaping

---
 static/build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index 37e5947d..23d0836a 100644
--- a/static/build.html
+++ b/static/build.html
@@ -319,7 +319,7 @@ repo init -u https://github.com/GrapheneOS/platform_manifest.git -b refs/tags/<v
 
                         <p>Obtain SSH public key for verifying tags:</p>
 
-                        <pre>curl https://grapheneos.org/allowed_signers &gt; ~/.ssh/grapheneos_allowed_signers</pre>
+                        <pre>curl https://grapheneos.org/allowed_signers > ~/.ssh/grapheneos_allowed_signers</pre>
 
                         <p>Verify the manifest:</p>