diff options
Diffstat (limited to 'static/source.html')
| -rw-r--r-- | static/source.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/static/source.html b/static/source.html index 51864895..d422cd5e 100644 --- a/static/source.html +++ b/static/source.html @@ -67,12 +67,12 @@ <section id="grapheneos"> <h2><a href="#grapheneos">GrapheneOS</a></h2> - <p>The operating system source tree includes hundreds of repositories. Many of these - are only used for debugging, testing or development and are not actually part of what - gets used for building a production release. The manifest repository references all of - these. Most of these are used unmodified from the Android Open Source Project (AOSP). - A few dozen of the repositories including most of the core OS are either forked from - AOSP or are unique to GrapheneOS.</p> + <p>The operating system source tree includes hundreds of repositories. Many of + these are only used for debugging, testing or development and are not actually + part of what gets used for building a production release. The manifest repository + references all of these. Most of these are used unmodified from the Android Open + Source Project (AOSP). A few dozen of the repositories including most of the core + OS are either forked from AOSP or are unique to GrapheneOS.</p> <p>The operating system has a unified build system, but some components like Chromium are too complex to fit into it so they're included as prebuilts instead |
