diff options
Diffstat (limited to 'site/gnu/index.php')
| -rw-r--r-- | site/gnu/index.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/site/gnu/index.php b/site/gnu/index.php index 03c9c40..b216dd5 100644 --- a/site/gnu/index.php +++ b/site/gnu/index.php @@ -103,9 +103,9 @@ </h2> <ul class="c"> <li> - Modify the build system, to directly download (only in Git. Release archives would have them already) the build dependencies - that libreboot currently tells the user to install from their distribution package repository, and build these from source, with - our own GCC (re-use coreboot's GCC, which libreboot already uses). This will make <em>complete corresponding source</em> provision easier, + Modify the build system, to directly download the build dependencies + that libreboot currently tells the user to install from their distribution package repository. (Only in Git. Release archives would have them already). Build these from source, with + our own GCC (re-using coreboot's GCC, which libreboot already uses). This will make <em>complete corresponding source</em> provision easier, because it would be automated; this is in contrast to the present setup, where the person distributing binaries has to include the sources for build dependencies from the distribution that they happened to use for compiling those packages. <ul> |