From 0f7975a6601f0ac9c3e9c3269ae505ae4775b173 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Sun, 28 Apr 2019 01:18:52 -0400
Subject: [PATCH] fix issues with port of old markdown documentation

---
 static/build.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/static/build.html b/static/build.html
index 02bc7bbe..68a99308 100644
--- a/static/build.html
+++ b/static/build.html
@@ -52,7 +52,7 @@ cd grapheneos-pie
 repo init -u https://github.com/GrapheneOS/platform_manifest.git -b pie
 repo sync -j32</pre>
 
-            </p>If your network is unreliable and <code>repo sync</code> fails, you can run the
+            <p>If your network is unreliable and <code>repo sync</code> fails, you can run the
             <code>repo sync</code> command again as many times as needed for it to fully
             succeed.</p>
 
@@ -179,7 +179,7 @@ git am ../chromium_patches/*.patch</pre>
             <p>For a development build, you may want to replace <code>user</code> with
             <code>userdebug</code> in order to have better debugging support. Production builds
             should be <code>user</code> builds as they are significantly more secure and don't
-            make additional performance sacrifices to improve debugging.</pre>
+            make additional performance sacrifices to improve debugging.</p>
 
             <h2>Reproducible builds</h2>