diff options
| author | Marco Janotta <marcojanotta@protonmail.com> | 2021-06-20 17:56:52 +0200 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2021-06-20 12:18:55 -0400 |
| commit | c8016eb9b397f613b9033034f5ec94d1193a31d4 (patch) | |
| tree | 20a5565bdafcf2d0f16109864a9c1d4aa19dddd1 /static/build.html | |
| parent | 19f35507163a21f3780cf4cfaa444b52d4b6118d (diff) | |
Correct article usage
Diffstat (limited to 'static/build.html')
| -rw-r--r-- | static/build.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/static/build.html b/static/build.html index 84409e4f..b7ef3a37 100644 --- a/static/build.html +++ b/static/build.html @@ -371,7 +371,7 @@ cd ../..</pre> <p>The kernel needs to be built in advance, since it uses a separate build system.</p> - <p>Prebuilts are provided for the all the officially supported devices, so this step + <p>Prebuilts are provided for all the officially supported devices, so this step is optional.</p> <p>List of kernels corresponding to officially supported devices:</p> |