fix issues with port of old markdown documentation

This commit is contained in:
Daniel Micay 2019-04-28 01:18:52 -04:00
parent 00d4e4bd6c
commit 0f7975a660

View File

@ -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>