diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2019-04-28 01:18:52 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2019-04-28 01:18:52 -0400 |
| commit | 0f7975a6601f0ac9c3e9c3269ae505ae4775b173 (patch) | |
| tree | 925e596f6d018f273aba3b1e4b31889e70808476 /static | |
| parent | 00d4e4bd6cc72f4c90940a8a5674932111b8ddbb (diff) | |
fix issues with port of old markdown documentation
Diffstat (limited to 'static')
| -rw-r--r-- | static/build.html | 4 |
1 files 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> |